Bob is big. Bob is cold. Bob is rough. Bob is round. Fiona is big. Fiona is green. Fiona is white. All big, cold things are round. If Fiona is big and Fiona is cold then Fiona is green. White things are cold.
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is white.
("Fiona" "is" "white" "+")
All big, cold things are round.
((("something" "is" "big" "+") ("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
If Fiona is big and Fiona is cold then Fiona is green.
((("Fiona" "is" "big" "+") ("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "green" "+"))
White things are cold.
((("something" "is" "white" "+")) -> ("something" "is" "cold" "+"))
Fiona is green.
True
1
proof
[(triple6 OR ((triple5 ((triple7) -> rule3)) -> rule2))]
("Fiona" "is" "green" "+")
triple6
((triple5 ((triple7) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Bob is not big.
False
1
inv-proof
[(triple1)]
("Bob" "is" "big" "-")
triple1
Fiona is cold.
True
2
proof
[(((triple7) -> rule3))]
("Fiona" "is" "cold" "+")
((triple7) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not cold.
False
2
inv-proof
[(((triple7) -> rule3))]
("Fiona" "is" "cold" "-")
((triple7) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
True
4
proof
[(((triple5 ((triple7) -> rule3)) -> rule1))]
("Fiona" "is" "round" "+")
((triple5 ((triple7) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is not round.
False
4
inv-proof
[(((triple5 ((triple7) -> rule3)) -> rule1))]
("Fiona" "is" "round" "-")
((triple5 ((triple7) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is rough.[(triple3)] Bob is round.[(triple4 OR ((triple1 triple2) -> rule1))] Fiona is big.[(triple5)] Fiona is green.[(triple6 OR ((triple5 ((triple7) -> rule3)) -> rule2))] Fiona is white.[(triple7)] @1: Fiona is cold.[(((triple7) -> rule3))] @2: Fiona is round.[(((triple5 ((triple7) -> rule3)) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple4
((triple1 triple2) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
((triple5 ((triple7) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple7) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple5 ((triple7) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2