Anne is big. Anne is cold. Anne is kind. Bob is cold. Bob is kind. Bob is white. Erin is cold. Erin is quiet. Erin is white. Erin is young. If Anne is white then Anne is kind. All cold, green things are young. If something is white and quiet then it is kind. All big things are green. If something is white and quiet then it is young. Young, white things are cold.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
If Anne is white then Anne is kind.
((("Anne" "is" "white" "+")) -> ("Anne" "is" "kind" "+"))
All cold, green things are young.
((("something" "is" "cold" "+") ("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
If something is white and quiet then it is kind.
((("something" "is" "white" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "kind" "+"))
All big things are green.
((("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
If something is white and quiet then it is young.
((("something" "is" "white" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
Young, white things are cold.
((("something" "is" "young" "+") ("something" "is" "white" "+")) -> ("something" "is" "cold" "+"))
Erin is quiet.
True
1
proof
[(triple8)]
("Erin" "is" "quiet" "+")
triple8
Erin is not quiet.
False
1
inv-proof
[(triple8)]
("Erin" "is" "quiet" "-")
triple8
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "green" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is kind.[(triple3)] Bob is cold.[(triple4)] Bob is kind.[(triple5)] Bob is white.[(triple6)] Erin is cold.[(triple7 OR ((triple10 triple9) -> rule6) OR ((((triple9 triple8) -> rule5) triple9) -> rule6))] Erin is quiet.[(triple8)] Erin is white.[(triple9)] Erin is young.[(triple10 OR ((triple9 triple8) -> rule5))] @1: Anne is green.[(((triple1) -> rule4))] Erin is kind.[(((triple9 triple8) -> rule3))] @2: Anne is young.[(((triple2 ((triple1) -> rule4)) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Bob is white.
("Bob" "is" "white" "+")
triple6
Erin is cold.
("Erin" "is" "cold" "+")
triple7
((triple10 triple9) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((((triple9 triple8) -> (rule5 % int2)) triple9) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
Erin is white.
("Erin" "is" "white" "+")
triple9
Erin is young.
("Erin" "is" "young" "+")
triple10
((triple9 triple8) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
((triple1) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((triple9 triple8) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
((triple2 ((triple1) -> (rule4 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2