Anne is blue. Anne is white. Anne is young. Charlie is furry. Charlie is nice. Erin is blue. Erin is furry. Erin is white. Erin is young. Harry is big. Harry is nice. Harry is young. If Charlie is big then Charlie is blue. If Harry is nice and Harry is young then Harry is furry. Nice people are furry. All red people are blue. If Harry is blue and Harry is nice then Harry is furry. All white people are big. If someone is nice and young then they are red. All white, big people are red.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is young.
("Harry" "is" "young" "+")
If Charlie is big then Charlie is blue.
((("Charlie" "is" "big" "+")) -> ("Charlie" "is" "blue" "+"))
If Harry is nice and Harry is young then Harry is furry.
((("Harry" "is" "nice" "+") ("Harry" "is" "young" "+")) -> ("Harry" "is" "furry" "+"))
Nice people are furry.
((("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "+"))
All red people are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If Harry is blue and Harry is nice then Harry is furry.
((("Harry" "is" "blue" "+") ("Harry" "is" "nice" "+")) -> ("Harry" "is" "furry" "+"))
All white people are big.
((("someone" "is" "white" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and young then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
All white, big people are red.
((("someone" "is" "white" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
Harry is big.
True
1
proof
[(triple10)]
("Harry" "is" "big" "+")
triple10
Harry is not nice.
False
1
inv-proof
[(triple11)]
("Harry" "is" "nice" "-")
triple11
Erin is big.
True
2
proof
[(((triple8) -> rule6))]
("Erin" "is" "big" "+")
((triple8) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Harry is not furry.
False
2
inv-proof
[(((triple11) -> rule3) OR ((triple11 triple12) -> rule2) OR ((((((triple11 triple12) -> rule7)) -> rule4) triple11) -> rule5))]
("Harry" "is" "furry" "-")
((triple11) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((triple11 triple12) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((((triple11 triple12) -> (rule7 % int3))) -> (rule4 % int2)) triple11) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "red" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "big" "+")
Charlie is not white.
Unknown
inv-random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is blue.[(triple1 OR ((((triple2 ((triple2) -> rule6)) -> rule8)) -> rule4))] Anne is white.[(triple2)] Anne is young.[(triple3)] Charlie is furry.[(triple4 OR ((triple5) -> rule3))] Charlie is nice.[(triple5)] Erin is blue.[(triple6 OR ((((triple8 ((triple8) -> rule6)) -> rule8)) -> rule4))] Erin is furry.[(triple7)] Erin is white.[(triple8)] Erin is young.[(triple9)] Harry is big.[(triple10)] Harry is nice.[(triple11)] Harry is young.[(triple12)] @1: Anne is big.[(((triple2) -> rule6))] Erin is big.[(((triple8) -> rule6))] Harry is furry.[(((triple11) -> rule3) OR ((triple11 triple12) -> rule2) OR ((((((triple11 triple12) -> rule7)) -> rule4) triple11) -> rule5))] Harry is red.[(((triple11 triple12) -> rule7))] @2: Anne is red.[(((triple2 ((triple2) -> rule6)) -> rule8))] Erin is red.[(((triple8 ((triple8) -> rule6)) -> rule8))] Harry is blue.[(((((triple11 triple12) -> rule7)) -> rule4))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((((triple2 ((triple2) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Charlie is furry.
("Charlie" "is" "furry" "+")
triple4
((triple5) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Erin is blue.
("Erin" "is" "blue" "+")
triple6
((((triple8 ((triple8) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
triple7
Erin is white.
("Erin" "is" "white" "+")
triple8
Erin is young.
("Erin" "is" "young" "+")
triple9
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
Anne is big.
("Anne" "is" "big" "+")
((triple2) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
((triple8) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((triple11) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((triple11 triple12) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((((triple11 triple12) -> (rule7 % int3))) -> (rule4 % int2)) triple11) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
((triple11 triple12) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
((triple2 ((triple2) -> (rule6 % int2))) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
((triple8 ((triple8) -> (rule6 % int2))) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((((triple11 triple12) -> (rule7 % int2))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2