Anne is rough. Charlie is cold. Charlie is green. Charlie is quiet. Charlie is round. Erin is quiet. Erin is white. Round, cold people are nice.
Anne is rough.
("Anne" "is" "rough" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Round, cold people are nice.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
Charlie is quiet.
True
1
proof
[(triple4)]
("Charlie" "is" "quiet" "+")
triple4
Erin is not white.
False
1
inv-proof
[(triple7)]
("Erin" "is" "white" "-")
triple7
Charlie is nice.
True
3
proof
[(((triple5 triple2) -> rule1))]
("Charlie" "is" "nice" "+")
((triple5 triple2) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is not nice.
False
3
inv-proof
[(((triple5 triple2) -> rule1))]
("Charlie" "is" "nice" "-")
((triple5 triple2) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Anne is not nice.
Unknown
inv-rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "nice" "-")
Erin is nice.
Unknown
rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "nice" "+")
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Anne is rough.[(triple1)] Charlie is cold.[(triple2)] Charlie is green.[(triple3)] Charlie is quiet.[(triple4)] Charlie is round.[(triple5)] Erin is quiet.[(triple6)] Erin is white.[(triple7)] @1: Charlie is nice.[(((triple5 triple2) -> rule1))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Erin is quiet.
("Erin" "is" "quiet" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple5 triple2) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1