Anne is cold. Anne is not quiet. Anne is rough. Anne is not round. Anne is white. Bob is big. Bob is cold. Bob is kind. Bob is quiet. Bob is rough. Bob is not round. Bob is white. Fiona is kind. Fiona is quiet. Fiona is rough. If Anne is not round then Anne is kind. If Anne is cold and Anne is not quiet then Anne is kind. If Fiona is not round then Fiona is cold. All quiet, cold people are white. If Fiona is not quiet then Fiona is rough. Quiet people are cold.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is not quiet.
("Anne" "is" "quiet" "-")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is not round.
("Anne" "is" "round" "-")
Anne is white.
("Anne" "is" "white" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is not round.
("Bob" "is" "round" "-")
Bob is white.
("Bob" "is" "white" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
If Anne is not round then Anne is kind.
((("Anne" "is" "round" "~")) -> ("Anne" "is" "kind" "+"))
If Anne is cold and Anne is not quiet then Anne is kind.
((("Anne" "is" "cold" "+") ("Anne" "is" "quiet" "~")) -> ("Anne" "is" "kind" "+"))
If Fiona is not round then Fiona is cold.
((("Fiona" "is" "round" "~")) -> ("Fiona" "is" "cold" "+"))
All quiet, cold people are white.
((("someone" "is" "quiet" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
If Fiona is not quiet then Fiona is rough.
((("Fiona" "is" "quiet" "~")) -> ("Fiona" "is" "rough" "+"))
Quiet people are cold.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
Bob is rough.
True
1
proof
[(triple10)]
("Bob" "is" "rough" "+")
triple10
Anne is round.
False
1
inv-proof
[(triple4)]
("Anne" "is" "round" "+")
triple4
Fiona is cold.
True
2
proof
[(((triple14) -> rule6))]
("Fiona" "is" "cold" "+")
((triple14) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not cold.
False
2
inv-proof
[(((triple14) -> rule6))]
("Fiona" "is" "cold" "-")
((triple14) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is white.
True
4
proof
[(((triple14 ((triple14) -> rule6)) -> rule4))]
("Fiona" "is" "white" "+")
((triple14 ((triple14) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is not white.
False
4
inv-proof
[(((triple14 ((triple14) -> rule6)) -> rule4))]
("Fiona" "is" "white" "-")
((triple14 ((triple14) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Anne is cold.[(triple1)] Anne is not quiet.[(triple2)] Anne is not round.[(triple4)] Anne is rough.[(triple3)] Anne is white.[(triple5)] Bob is big.[(triple6)] Bob is cold.[(triple7 OR ((triple9) -> rule6))] Bob is kind.[(triple8)] Bob is not round.[(triple11)] Bob is quiet.[(triple9)] Bob is rough.[(triple10)] Bob is white.[(triple12 OR ((triple9 triple7) -> rule4) OR ((triple9 ((triple9) -> rule6)) -> rule4))] Fiona is kind.[(triple13)] Fiona is quiet.[(triple14)] Fiona is rough.[(triple15)] @1: Anne is kind.[(((triple4) -> rule1) OR ((triple1 triple2) -> rule2))] Fiona is cold.[(((triple14) -> rule6))] @2: Fiona is white.[(((triple14 ((triple14) -> rule6)) -> rule4))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple2
Anne is not round.
("Anne" "is" "round" "-")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple5
Bob is big.
("Bob" "is" "big" "+")
triple6
Bob is cold.
("Bob" "is" "cold" "+")
triple7
((triple9) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
triple8
Bob is not round.
("Bob" "is" "round" "-")
triple11
Bob is quiet.
("Bob" "is" "quiet" "+")
triple9
Bob is rough.
("Bob" "is" "rough" "+")
triple10
Bob is white.
("Bob" "is" "white" "+")
triple12
((triple9 triple7) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((triple9 ((triple9) -> (rule6 % int2))) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple13
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple14
Fiona is rough.
("Fiona" "is" "rough" "+")
triple15
Anne is kind.
("Anne" "is" "kind" "+")
((triple4) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((triple1 triple2) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple14) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple14 ((triple14) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2