Anne is cold. Anne is furry. Anne is not nice. Anne is young. Charlie is big. Charlie is blue. Charlie is nice. Erin is blue. Erin is cold. Erin is furry. Erin is nice. Erin is young. If Erin is young and Erin is not big then Erin is round. If something is blue then it is cold.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is not nice.
("Anne" "is" "nice" "-")
Anne is young.
("Anne" "is" "young" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is young.
("Erin" "is" "young" "+")
If Erin is young and Erin is not big then Erin is round.
((("Erin" "is" "young" "+") ("Erin" "is" "big" "~")) -> ("Erin" "is" "round" "+"))
If something is blue then it is cold.
((("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
Anne is furry.
True
1
proof
[(triple2)]
("Anne" "is" "furry" "+")
triple2
Charlie is not big.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "big" "-")
triple5
Erin is not round.
Unknown
inv-rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "round" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is not nice.[(triple3)] Anne is young.[(triple4)] Charlie is big.[(triple5)] Charlie is blue.[(triple6)] Charlie is nice.[(triple7)] Erin is blue.[(triple8)] Erin is cold.[(triple9 OR ((triple8) -> rule2))] Erin is furry.[(triple10)] Erin is nice.[(triple11)] Erin is young.[(triple12)] @1: Charlie is cold.[(((triple6) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is not nice.
("Anne" "is" "nice" "-")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
Erin is blue.
("Erin" "is" "blue" "+")
triple8
Erin is cold.
("Erin" "is" "cold" "+")
triple9
((triple8) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple10
Erin is nice.
("Erin" "is" "nice" "+")
triple11
Erin is young.
("Erin" "is" "young" "+")
triple12
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple6) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1