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