Charlie is big. Charlie is blue. Charlie is kind. Charlie is quiet. Charlie is red. Erin is big. Erin is furry. Erin is quiet. Fiona is big. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is white. If something is furry then it is kind. White things are red. Big, kind things are blue. Red, kind things are quiet. If Charlie is white and Charlie is furry then Charlie is quiet. All furry, blue things are quiet. If something is kind and white then it is big. All blue things are big.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If something is furry then it is kind.
((("something" "is" "furry" "+")) -> ("something" "is" "kind" "+"))
White things are red.
((("something" "is" "white" "+")) -> ("something" "is" "red" "+"))
Big, kind things are blue.
((("something" "is" "big" "+") ("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
Red, kind things are quiet.
((("something" "is" "red" "+") ("something" "is" "kind" "+")) -> ("something" "is" "quiet" "+"))
If Charlie is white and Charlie is furry then Charlie is quiet.
((("Charlie" "is" "white" "+") ("Charlie" "is" "furry" "+")) -> ("Charlie" "is" "quiet" "+"))
All furry, blue things are quiet.
((("something" "is" "furry" "+") ("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
If something is kind and white then it is big.
((("something" "is" "kind" "+") ("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
All blue things are big.
((("something" "is" "blue" "+")) -> ("something" "is" "big" "+"))
Fiona is white.
True
1
proof
[(triple15)]
("Fiona" "is" "white" "+")
triple15
Erin is not big.
False
1
inv-proof
[(triple6)]
("Erin" "is" "big" "-")
triple6
Erin is kind.
True
2
proof
[(((triple7) -> rule1))]
("Erin" "is" "kind" "+")
((triple7) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is not kind.
False
2
inv-proof
[(((triple7) -> rule1))]
("Erin" "is" "kind" "-")
((triple7) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is blue.
True
4
proof
[(((triple6 ((triple7) -> rule1)) -> rule3))]
("Erin" "is" "blue" "+")
((triple6 ((triple7) -> (rule1 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is not blue.
False
4
inv-proof
[(((triple6 ((triple7) -> rule1)) -> rule3))]
("Erin" "is" "blue" "-")
((triple6 ((triple7) -> (rule1 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is not red.
Unknown
inv-rconc
[@1: Erin is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "red" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
Charlie is not furry.
Unknown
inv-random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
@0: Charlie is big.[(triple1 OR ((triple2) -> rule8))] Charlie is blue.[(triple2 OR ((triple1 triple3) -> rule3))] Charlie is kind.[(triple3)] Charlie is quiet.[(triple4 OR ((triple5 triple3) -> rule4))] Charlie is red.[(triple5)] Erin is big.[(triple6)] Erin is furry.[(triple7)] Erin is quiet.[(triple8 OR ((triple7 ((triple6 ((triple7) -> rule1)) -> rule3)) -> rule6))] Fiona is big.[(triple9 OR ((triple10) -> rule8) OR ((triple12 triple15) -> rule7) OR ((((triple11) -> rule1) triple15) -> rule7))] Fiona is blue.[(triple10 OR ((triple9 triple12) -> rule3) OR ((triple9 ((triple11) -> rule1)) -> rule3) OR ((((triple12 triple15) -> rule7) triple12) -> rule3) OR ((((triple12 triple15) -> rule7) ((triple11) -> rule1)) -> rule3) OR ((((((triple11) -> rule1) triple15) -> rule7) triple12) -> rule3) OR ((((((triple11) -> rule1) triple15) -> rule7) ((triple11) -> rule1)) -> rule3))] Fiona is furry.[(triple11)] Fiona is kind.[(triple12 OR ((triple11) -> rule1))] Fiona is quiet.[(triple13 OR ((triple11 triple10) -> rule6) OR ((triple14 triple12) -> rule4) OR ((triple11 ((triple9 triple12) -> rule3)) -> rule6) OR ((triple14 ((triple11) -> rule1)) -> rule4) OR ((((triple15) -> rule2) triple12) -> rule4) OR ((((triple15) -> rule2) ((triple11) -> rule1)) -> rule4) OR ((triple11 ((triple9 ((triple11) -> rule1)) -> rule3)) -> rule6) OR ((triple11 ((((triple12 triple15) -> rule7) triple12) -> rule3)) -> rule6) OR ((triple11 ((((triple12 triple15) -> rule7) ((triple11) -> rule1)) -> rule3)) -> rule6) OR ((triple11 ((((((triple11) -> rule1) triple15) -> rule7) triple12) -> rule3)) -> rule6) OR ((triple11 ((((((triple11) -> rule1) triple15) -> rule7) ((triple11) -> rule1)) -> rule3)) -> rule6))] Fiona is red.[(triple14 OR ((triple15) -> rule2))] Fiona is white.[(triple15)] @1: Erin is kind.[(((triple7) -> rule1))] @2: Erin is blue.[(((triple6 ((triple7) -> rule1)) -> rule3))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
((triple2) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
((triple1 triple3) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
((triple5 triple3) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Erin is big.
("Erin" "is" "big" "+")
triple6
Erin is furry.
("Erin" "is" "furry" "+")
triple7
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
((triple7 ((triple6 ((triple7) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
triple9
((triple10) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple12 triple15) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((triple11) -> (rule1 % int2)) triple15) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
((triple9 triple12) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple9 ((triple11) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple12 triple15) -> (rule7 % int2)) triple12) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple12 triple15) -> (rule7 % int3)) ((triple11) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((((triple11) -> (rule1 % int3)) triple15) -> (rule7 % int2)) triple12) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((((triple11) -> (rule1 % int3)) triple15) -> (rule7 % int2)) ((triple11) -> (rule1 % int3))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple11
Fiona is kind.
("Fiona" "is" "kind" "+")
triple12
((triple11) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple13
((triple11 triple10) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((triple14 triple12) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((triple11 ((triple9 triple12) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((triple14 ((triple11) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple15) -> (rule2 % int2)) triple12) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((triple15) -> (rule2 % int3)) ((triple11) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((triple11 ((triple9 ((triple11) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((triple11 ((((triple12 triple15) -> (rule7 % int3)) triple12) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((triple11 ((((triple12 triple15) -> (rule7 % int4)) ((triple11) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((triple11 ((((((triple11) -> (rule1 % int4)) triple15) -> (rule7 % int3)) triple12) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((triple11 ((((((triple11) -> (rule1 % int4)) triple15) -> (rule7 % int3)) ((triple11) -> (rule1 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
triple14
((triple15) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple15
Erin is kind.
("Erin" "is" "kind" "+")
((triple7) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((triple6 ((triple7) -> (rule1 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2