Anne is blue. Anne is cold. Anne is green. Anne is kind. Anne is white. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is round. Charlie is white. Erin is cold. Erin is green. Erin is round. If someone is cold then they are round. If someone is blue and cold then they are furry.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is round.
("Erin" "is" "round" "+")
If someone is cold then they are round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and cold then they are furry.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
Erin is round.
True
1
proof
[(triple15 OR ((triple13) -> rule1))]
("Erin" "is" "round" "+")
triple15
((triple13) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Anne is not cold.
False
1
inv-proof
[(triple2)]
("Anne" "is" "cold" "-")
triple2
Anne is round.
True
2
proof
[(((triple2) -> rule1))]
("Anne" "is" "round" "+")
((triple2) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is not round.
False
2
inv-proof
[(((triple2) -> rule1))]
("Anne" "is" "round" "-")
((triple2) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Erin is not furry.
Unknown
inv-rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "furry" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is white.[(triple5)] Charlie is blue.[(triple6)] Charlie is cold.[(triple7)] Charlie is furry.[(triple8 OR ((triple6 triple7) -> rule2))] Charlie is green.[(triple9)] Charlie is kind.[(triple10)] Charlie is round.[(triple11 OR ((triple7) -> rule1))] Charlie is white.[(triple12)] Erin is cold.[(triple13)] Erin is green.[(triple14)] Erin is round.[(triple15 OR ((triple13) -> rule1))] @1: Anne is furry.[(((triple1 triple2) -> rule2))] Anne is round.[(((triple2) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is kind.
("Anne" "is" "kind" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is cold.
("Charlie" "is" "cold" "+")
triple7
Charlie is furry.
("Charlie" "is" "furry" "+")
triple8
((triple6 triple7) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
triple9
Charlie is kind.
("Charlie" "is" "kind" "+")
triple10
Charlie is round.
("Charlie" "is" "round" "+")
triple11
((triple7) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
triple12
Erin is cold.
("Erin" "is" "cold" "+")
triple13
Erin is green.
("Erin" "is" "green" "+")
triple14
Erin is round.
("Erin" "is" "round" "+")
triple15
((triple13) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
((triple1 triple2) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
((triple2) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1