Anne is not cold. Anne is red. Bob is big. Bob is nice. Bob is quiet. Bob is red. Bob is not rough. Bob is round. Charlie is not nice. Charlie is quiet. Charlie is not red. Charlie is not round. Erin is cold. Erin is nice. Erin is round. Quiet, red things are nice. If Erin is not cold then Erin is not round. All nice, rough things are big.
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is red.
("Anne" "is" "red" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is not rough.
("Bob" "is" "rough" "-")
Bob is round.
("Bob" "is" "round" "+")
Charlie is not nice.
("Charlie" "is" "nice" "-")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is not red.
("Charlie" "is" "red" "-")
Charlie is not round.
("Charlie" "is" "round" "-")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is round.
("Erin" "is" "round" "+")
Quiet, red things are nice.
((("something" "is" "quiet" "+") ("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
If Erin is not cold then Erin is not round.
((("Erin" "is" "cold" "~")) -> ("Erin" "is" "round" "-"))
All nice, rough things are big.
((("something" "is" "nice" "+") ("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
Bob is round.
True
1
proof
[(triple8)]
("Bob" "is" "round" "+")
triple8
Charlie is not quiet.
False
1
inv-proof
[(triple10)]
("Charlie" "is" "quiet" "-")
triple10
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "big" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Anne is not cold.[(triple1)] Anne is red.[(triple2)] Bob is big.[(triple3)] Bob is nice.[(triple4 OR ((triple5 triple6) -> rule1))] Bob is not rough.[(triple7)] Bob is quiet.[(triple5)] Bob is red.[(triple6)] Bob is round.[(triple8)] Charlie is not nice.[(triple9)] Charlie is not red.[(triple11)] Charlie is not round.[(triple12)] Charlie is quiet.[(triple10)] Erin is cold.[(triple13)] Erin is nice.[(triple14)] Erin is round.[(triple15)]
Anne is not cold.
("Anne" "is" "cold" "-")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple4
((triple5 triple6) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not rough.
("Bob" "is" "rough" "-")
triple7
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple6
Bob is round.
("Bob" "is" "round" "+")
triple8
Charlie is not nice.
("Charlie" "is" "nice" "-")
triple9
Charlie is not red.
("Charlie" "is" "red" "-")
triple11
Charlie is not round.
("Charlie" "is" "round" "-")
triple12
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple10
Erin is cold.
("Erin" "is" "cold" "+")
triple13
Erin is nice.
("Erin" "is" "nice" "+")
triple14
Erin is round.
("Erin" "is" "round" "+")
triple15