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