Anne is not cold. Anne is not nice. Anne is not rough. Anne is white. Anne is young. Charlie is not cold. Charlie is nice. Charlie is quiet. Charlie is smart. Charlie is white. Cold things are not white. All nice things are young. If Anne is nice and Anne is not rough then Anne is cold.
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is not nice.
("Anne" "is" "nice" "-")
Anne is not rough.
("Anne" "is" "rough" "-")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is not cold.
("Charlie" "is" "cold" "-")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Cold things are not white.
((("something" "is" "cold" "+")) -> ("something" "is" "white" "-"))
All nice things are young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
If Anne is nice and Anne is not rough then Anne is cold.
((("Anne" "is" "nice" "+") ("Anne" "is" "rough" "~")) -> ("Anne" "is" "cold" "+"))
Charlie is smart.
True
1
proof
[(triple9)]
("Charlie" "is" "smart" "+")
triple9
Charlie is cold.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "cold" "+")
triple6
Charlie is young.
True
2
proof
[(((triple7) -> rule2))]
("Charlie" "is" "young" "+")
((triple7) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is not young.
False
2
inv-proof
[(((triple7) -> rule2))]
("Charlie" "is" "young" "-")
((triple7) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is not cold.[(triple1)] Anne is not nice.[(triple2)] Anne is not rough.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5)] Charlie is nice.[(triple7)] Charlie is not cold.[(triple6)] Charlie is quiet.[(triple8)] Charlie is smart.[(triple9)] Charlie is white.[(triple10)] @1: Charlie is young.[(((triple7) -> rule2))]
Anne is not cold.
("Anne" "is" "cold" "-")
triple1
Anne is not nice.
("Anne" "is" "nice" "-")
triple2
Anne is not rough.
("Anne" "is" "rough" "-")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
Charlie is not cold.
("Charlie" "is" "cold" "-")
triple6
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple8
Charlie is smart.
("Charlie" "is" "smart" "+")
triple9
Charlie is white.
("Charlie" "is" "white" "+")
triple10
Charlie is young.
("Charlie" "is" "young" "+")
((triple7) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1