Fiona is big. Fiona is not nice. Fiona is round. All red things are smart. Round things are cold. If something is red then it is not cold. If Fiona is nice and Fiona is big then Fiona is smart. If something is red and not nice then it is round. If something is cold then it is not quiet.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is round.
("Fiona" "is" "round" "+")
All red things are smart.
((("something" "is" "red" "+")) -> ("something" "is" "smart" "+"))
Round things are cold.
((("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
If something is red then it is not cold.
((("something" "is" "red" "+")) -> ("something" "is" "cold" "-"))
If Fiona is nice and Fiona is big then Fiona is smart.
((("Fiona" "is" "nice" "+") ("Fiona" "is" "big" "+")) -> ("Fiona" "is" "smart" "+"))
If something is red and not nice then it is round.
((("something" "is" "red" "+") ("something" "is" "nice" "~")) -> ("something" "is" "round" "+"))
If something is cold then it is not quiet.
((("something" "is" "cold" "+")) -> ("something" "is" "quiet" "-"))
Fiona is round.
True
1
proof
[(triple3)]
("Fiona" "is" "round" "+")
triple3
Fiona is not big.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "big" "-")
triple1
Fiona is cold.
True
2
proof
[(((triple3) -> rule2))]
("Fiona" "is" "cold" "+")
((triple3) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not cold.
False
2
inv-proof
[(((triple3) -> rule2))]
("Fiona" "is" "cold" "-")
((triple3) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not quiet.
True
3
proof
[(((((triple3) -> rule2)) -> rule6))]
("Fiona" "is" "quiet" "-")
((((triple3) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
False
3
inv-proof
[(((((triple3) -> rule2)) -> rule6))]
("Fiona" "is" "quiet" "+")
((((triple3) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is not smart.
Unknown
inv-rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "smart" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Fiona is big.[(triple1)] Fiona is not nice.[(triple2)] Fiona is round.[(triple3)] @1: Fiona is cold.[(((triple3) -> rule2))] @2: Fiona is not quiet.[(((((triple3) -> rule2)) -> rule6))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple3) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
((((triple3) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2