Anne is big. Anne is cold. Anne is green. Anne is nice. Anne is not rough. Fiona is big. Fiona is cold. Fiona is quiet. Fiona is rough. Fiona is white. All cold, big things are white.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is not rough.
("Anne" "is" "rough" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
All cold, big things are white.
((("something" "is" "cold" "+") ("something" "is" "big" "+")) -> ("something" "is" "white" "+"))
Anne is not rough.
True
1
proof
[(triple5)]
("Anne" "is" "rough" "-")
triple5
Fiona is not quiet.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "quiet" "-")
triple8
Anne is white.
True
3
proof
[(((triple2 triple1) -> rule1))]
("Anne" "is" "white" "+")
((triple2 triple1) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is not white.
False
3
inv-proof
[(((triple2 triple1) -> rule1))]
("Anne" "is" "white" "-")
((triple2 triple1) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Anne is quiet.
Unknown
random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "+")
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3)] Anne is nice.[(triple4)] Anne is not rough.[(triple5)] Fiona is big.[(triple6)] Fiona is cold.[(triple7)] Fiona is quiet.[(triple8)] Fiona is rough.[(triple9)] Fiona is white.[(triple10 OR ((triple7 triple6) -> rule1))] @1: Anne is white.[(((triple2 triple1) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is nice.
("Anne" "is" "nice" "+")
triple4
Anne is not rough.
("Anne" "is" "rough" "-")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
((triple7 triple6) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
((triple2 triple1) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1