Charlie is blue. Charlie is furry. Charlie is red. Erin is not blue. Erin is furry. Erin is green. Erin is round. Erin is young. Gary is not red. Gary is not young. Harry is blue. Harry is furry. Round, big things are green. If something is red then it is round. Big, furry things are round. If something is furry and not blue then it is round. If something is furry and not blue then it is young. Furry things are young. If Erin is round and Erin is young then Erin is big. If something is furry and young then it is big.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is not red.
("Gary" "is" "red" "-")
Gary is not young.
("Gary" "is" "young" "-")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Round, big things are green.
((("something" "is" "round" "+") ("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
If something is red then it is round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
Big, furry things are round.
((("something" "is" "big" "+") ("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
If something is furry and not blue then it is round.
((("something" "is" "furry" "+") ("something" "is" "blue" "~")) -> ("something" "is" "round" "+"))
If something is furry and not blue then it is young.
((("something" "is" "furry" "+") ("something" "is" "blue" "~")) -> ("something" "is" "young" "+"))
Furry things are young.
((("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
If Erin is round and Erin is young then Erin is big.
((("Erin" "is" "round" "+") ("Erin" "is" "young" "+")) -> ("Erin" "is" "big" "+"))
If something is furry and young then it is big.
((("something" "is" "furry" "+") ("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
Gary is not red.
True
1
proof
[(triple9)]
("Gary" "is" "red" "-")
triple9
Gary is young.
False
1
inv-proof
[(triple10)]
("Gary" "is" "young" "+")
triple10
Charlie is round.
True
2
proof
[(((triple3) -> rule2) OR ((((triple2 ((triple2) -> rule6)) -> rule8) triple2) -> rule3))]
("Charlie" "is" "round" "+")
((triple3) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((((triple2 ((triple2) -> (rule6 % int3))) -> (rule8 % int2)) triple2) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Harry is not young.
False
2
inv-proof
[(((triple12) -> rule6))]
("Harry" "is" "young" "-")
((triple12) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Charlie is big.
True
4
proof
[(((triple2 ((triple2) -> rule6)) -> rule8))]
("Charlie" "is" "big" "+")
((triple2 ((triple2) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is not big.
False
4
inv-proof
[(((triple2 ((triple2) -> rule6)) -> rule8))]
("Charlie" "is" "big" "-")
((triple2 ((triple2) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Harry is round.
True
6
proof
[(((((triple12 ((triple12) -> rule6)) -> rule8) triple12) -> rule3))]
("Harry" "is" "round" "+")
((((triple12 ((triple12) -> (rule6 % int3))) -> (rule8 % int2)) triple12) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is not round.
False
6
inv-proof
[(((((triple12 ((triple12) -> rule6)) -> rule8) triple12) -> rule3))]
("Harry" "is" "round" "-")
((((triple12 ((triple12) -> (rule6 % int3))) -> (rule8 % int2)) triple12) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Gary is not green.
Unknown
inv-rconc
[@2: Gary is green.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Gary" "is" "green" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "round" "+")
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Gary" "is" "big" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is red.[(triple3)] Erin is furry.[(triple5)] Erin is green.[(triple6 OR ((triple7 ((triple5 triple8) -> rule8)) -> rule1) OR ((triple7 ((triple7 triple8) -> rule7)) -> rule1) OR ((((triple5 triple4) -> rule4) ((triple5 triple8) -> rule8)) -> rule1) OR ((((triple5 triple4) -> rule4) ((triple7 triple8) -> rule7)) -> rule1) OR ((triple7 ((triple5 ((triple5) -> rule6)) -> rule8)) -> rule1) OR ((triple7 ((triple5 ((triple5 triple4) -> rule5)) -> rule8)) -> rule1) OR ((triple7 ((triple7 ((triple5) -> rule6)) -> rule7)) -> rule1) OR ((triple7 ((triple7 ((triple5 triple4) -> rule5)) -> rule7)) -> rule1) OR ((triple7 ((((triple5 triple4) -> rule4) triple8) -> rule7)) -> rule1) OR ((triple7 ((((triple5 triple4) -> rule4) ((triple5) -> rule6)) -> rule7)) -> rule1) OR ((triple7 ((((triple5 triple4) -> rule4) ((triple5 triple4) -> rule5)) -> rule7)) -> rule1) OR ((((triple5 triple4) -> rule4) ((triple5 ((triple5) -> rule6)) -> rule8)) -> rule1) OR ((((triple5 triple4) -> rule4) ((triple5 ((triple5 triple4) -> rule5)) -> rule8)) -> rule1) OR ((((triple5 triple4) -> rule4) ((triple7 ((triple5) -> rule6)) -> rule7)) -> rule1) OR ((((triple5 triple4) -> rule4) ((triple7 ((triple5 triple4) -> rule5)) -> rule7)) -> rule1) OR ((((triple5 triple4) -> rule4) ((((triple5 triple4) -> rule4) triple8) -> rule7)) -> rule1) OR ((((((triple5 triple8) -> rule8) triple5) -> rule3) ((triple5 triple8) -> rule8)) -> rule1) OR ((((((triple5 triple8) -> rule8) triple5) -> rule3) ((triple7 triple8) -> rule7)) -> rule1) OR ((((triple5 triple4) -> rule4) ((((triple5 triple4) -> rule4) ((triple5) -> rule6)) -> rule7)) -> rule1) OR ((((triple5 triple4) -> rule4) ((((triple5 triple4) -> rule4) ((triple5 triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((triple5 triple8) -> rule8) triple5) -> rule3) ((triple5 ((triple5) -> rule6)) -> rule8)) -> rule1) OR ((((((triple5 triple8) -> rule8) triple5) -> rule3) ((triple5 ((triple5 triple4) -> rule5)) -> rule8)) -> rule1) OR ((((((triple5 triple8) -> rule8) triple5) -> rule3) ((triple7 ((triple5) -> rule6)) -> rule7)) -> rule1) OR ((((((triple5 triple8) -> rule8) triple5) -> rule3) ((triple7 ((triple5 triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((triple5 triple8) -> rule8) triple5) -> rule3) ((((triple5 triple4) -> rule4) triple8) -> rule7)) -> rule1) OR ((((((triple5 triple8) -> rule8) triple5) -> rule3) ((((triple5 triple4) -> rule4) ((triple5) -> rule6)) -> rule7)) -> rule1) OR ((((((triple5 triple8) -> rule8) triple5) -> rule3) ((((triple5 triple4) -> rule4) ((triple5 triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((triple5 ((triple5) -> rule6)) -> rule8) triple5) -> rule3) ((triple5 triple8) -> rule8)) -> rule1) OR ((((((triple5 ((triple5) -> rule6)) -> rule8) triple5) -> rule3) ((triple7 triple8) -> rule7)) -> rule1) OR ((((((triple5 ((triple5 triple4) -> rule5)) -> rule8) triple5) -> rule3) ((triple5 triple8) -> rule8)) -> rule1) OR ((((((triple5 ((triple5 triple4) -> rule5)) -> rule8) triple5) -> rule3) ((triple7 triple8) -> rule7)) -> rule1) OR ((((((triple5 ((triple5) -> rule6)) -> rule8) triple5) -> rule3) ((triple5 ((triple5) -> rule6)) -> rule8)) -> rule1) OR ((((((triple5 ((triple5) -> rule6)) -> rule8) triple5) -> rule3) ((triple5 ((triple5 triple4) -> rule5)) -> rule8)) -> rule1) OR ((((((triple5 ((triple5) -> rule6)) -> rule8) triple5) -> rule3) ((triple7 ((triple5) -> rule6)) -> rule7)) -> rule1) OR ((((((triple5 ((triple5) -> rule6)) -> rule8) triple5) -> rule3) ((triple7 ((triple5 triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((triple5 ((triple5) -> rule6)) -> rule8) triple5) -> rule3) ((((triple5 triple4) -> rule4) triple8) -> rule7)) -> rule1) OR ((((((triple5 ((triple5 triple4) -> rule5)) -> rule8) triple5) -> rule3) ((triple5 ((triple5) -> rule6)) -> rule8)) -> rule1) OR ((((((triple5 ((triple5 triple4) -> rule5)) -> rule8) triple5) -> rule3) ((triple5 ((triple5 triple4) -> rule5)) -> rule8)) -> rule1) OR ((((((triple5 ((triple5 triple4) -> rule5)) -> rule8) triple5) -> rule3) ((triple7 ((triple5) -> rule6)) -> rule7)) -> rule1) OR ((((((triple5 ((triple5 triple4) -> rule5)) -> rule8) triple5) -> rule3) ((triple7 ((triple5 triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((triple5 ((triple5 triple4) -> rule5)) -> rule8) triple5) -> rule3) ((((triple5 triple4) -> rule4) triple8) -> rule7)) -> rule1) OR ((((((triple5 ((triple5) -> rule6)) -> rule8) triple5) -> rule3) ((((triple5 triple4) -> rule4) ((triple5) -> rule6)) -> rule7)) -> rule1) OR ((((((triple5 ((triple5) -> rule6)) -> rule8) triple5) -> rule3) ((((triple5 triple4) -> rule4) ((triple5 triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((triple5 ((triple5 triple4) -> rule5)) -> rule8) triple5) -> rule3) ((((triple5 triple4) -> rule4) ((triple5) -> rule6)) -> rule7)) -> rule1) OR ((((((triple5 ((triple5 triple4) -> rule5)) -> rule8) triple5) -> rule3) ((((triple5 triple4) -> rule4) ((triple5 triple4) -> rule5)) -> rule7)) -> rule1))] Erin is not blue.[(triple4)] Erin is round.[(triple7 OR ((triple5 triple4) -> rule4) OR ((((triple5 triple8) -> rule8) triple5) -> rule3) OR ((((triple5 ((triple5) -> rule6)) -> rule8) triple5) -> rule3) OR ((((triple5 ((triple5 triple4) -> rule5)) -> rule8) triple5) -> rule3))] Erin is young.[(triple8 OR ((triple5) -> rule6) OR ((triple5 triple4) -> rule5))] Gary is not red.[(triple9)] Gary is not young.[(triple10)] Harry is blue.[(triple11)] Harry is furry.[(triple12)] @1: Charlie is round.[(((triple3) -> rule2) OR ((((triple2 ((triple2) -> rule6)) -> rule8) triple2) -> rule3))] Charlie is young.[(((triple2) -> rule6))] Erin is big.[(((triple5 triple8) -> rule8) OR ((triple7 triple8) -> rule7) OR ((triple5 ((triple5) -> rule6)) -> rule8) OR ((triple5 ((triple5 triple4) -> rule5)) -> rule8) OR ((triple7 ((triple5) -> rule6)) -> rule7) OR ((triple7 ((triple5 triple4) -> rule5)) -> rule7) OR ((((triple5 triple4) -> rule4) triple8) -> rule7) OR ((((triple5 triple4) -> rule4) ((triple5) -> rule6)) -> rule7) OR ((((triple5 triple4) -> rule4) ((triple5 triple4) -> rule5)) -> rule7))] Harry is young.[(((triple12) -> rule6))] @2: Charlie is big.[(((triple2 ((triple2) -> rule6)) -> rule8))] Harry is big.[(((triple12 ((triple12) -> rule6)) -> rule8))] @3: Charlie is green.[(((((triple3) -> rule2) ((triple2 ((triple2) -> rule6)) -> rule8)) -> rule1) OR ((((((triple2 ((triple2) -> rule6)) -> rule8) triple2) -> rule3) ((triple2 ((triple2) -> rule6)) -> rule8)) -> rule1))] Harry is round.[(((((triple12 ((triple12) -> rule6)) -> rule8) triple12) -> rule3))] @4: Harry is green.[(((((((triple12 ((triple12) -> rule6)) -> rule8) triple12) -> rule3) ((triple12 ((triple12) -> rule6)) -> rule8)) -> rule1))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
triple5
Erin is green.
("Erin" "is" "green" "+")
triple6
((triple7 ((triple5 triple8) -> (rule8 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((triple7 ((triple7 triple8) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple5 triple4) -> (rule4 % int3)) ((triple5 triple8) -> (rule8 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((triple5 triple4) -> (rule4 % int3)) ((triple7 triple8) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((triple7 ((triple5 ((triple5) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((triple7 ((triple5 ((triple5 triple4) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((triple7 ((triple7 ((triple5) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((triple7 ((triple7 ((triple5 triple4) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((triple7 ((((triple5 triple4) -> (rule4 % int3)) triple8) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((triple7 ((((triple5 triple4) -> (rule4 % int4)) ((triple5) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((triple7 ((((triple5 triple4) -> (rule4 % int4)) ((triple5 triple4) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((triple5 triple4) -> (rule4 % int4)) ((triple5 ((triple5) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((triple5 triple4) -> (rule4 % int4)) ((triple5 ((triple5 triple4) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((triple5 triple4) -> (rule4 % int4)) ((triple7 ((triple5) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((triple5 triple4) -> (rule4 % int4)) ((triple7 ((triple5 triple4) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((triple5 triple4) -> (rule4 % int3)) ((((triple5 triple4) -> (rule4 % int3)) triple8) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((((triple5 triple8) -> (rule8 % int3)) triple5) -> (rule3 % int2)) ((triple5 triple8) -> (rule8 % int3))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple5 triple8) -> (rule8 % int3)) triple5) -> (rule3 % int2)) ((triple7 triple8) -> (rule7 % int3))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple5 triple4) -> (rule4 % int4)) ((((triple5 triple4) -> (rule4 % int4)) ((triple5) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((triple5 triple4) -> (rule4 % int4)) ((((triple5 triple4) -> (rule4 % int4)) ((triple5 triple4) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((triple5 triple8) -> (rule8 % int4)) triple5) -> (rule3 % int3)) ((triple5 ((triple5) -> (rule6 % int2))) -> (rule8 % int4))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple5 triple8) -> (rule8 % int4)) triple5) -> (rule3 % int3)) ((triple5 ((triple5 triple4) -> (rule5 % int2))) -> (rule8 % int4))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple5 triple8) -> (rule8 % int4)) triple5) -> (rule3 % int3)) ((triple7 ((triple5) -> (rule6 % int2))) -> (rule7 % int4))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple5 triple8) -> (rule8 % int4)) triple5) -> (rule3 % int3)) ((triple7 ((triple5 triple4) -> (rule5 % int2))) -> (rule7 % int4))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple5 triple8) -> (rule8 % int3)) triple5) -> (rule3 % int2)) ((((triple5 triple4) -> (rule4 % int2)) triple8) -> (rule7 % int3))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple5 triple8) -> (rule8 % int4)) triple5) -> (rule3 % int3)) ((((triple5 triple4) -> (rule4 % int3)) ((triple5) -> (rule6 % int2))) -> (rule7 % int4))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple5 triple8) -> (rule8 % int4)) triple5) -> (rule3 % int3)) ((((triple5 triple4) -> (rule4 % int3)) ((triple5 triple4) -> (rule5 % int2))) -> (rule7 % int4))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple5 ((triple5) -> (rule6 % int4))) -> (rule8 % int3)) triple5) -> (rule3 % int2)) ((triple5 triple8) -> (rule8 % int3))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((triple5 ((triple5) -> (rule6 % int4))) -> (rule8 % int3)) triple5) -> (rule3 % int2)) ((triple7 triple8) -> (rule7 % int3))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((triple5 ((triple5 triple4) -> (rule5 % int4))) -> (rule8 % int3)) triple5) -> (rule3 % int2)) ((triple5 triple8) -> (rule8 % int3))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((triple5 ((triple5 triple4) -> (rule5 % int4))) -> (rule8 % int3)) triple5) -> (rule3 % int2)) ((triple7 triple8) -> (rule7 % int3))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((triple5 ((triple5) -> (rule6 % int4))) -> (rule8 % int3)) triple5) -> (rule3 % int2)) ((triple5 ((triple5) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((triple5 ((triple5) -> (rule6 % int4))) -> (rule8 % int3)) triple5) -> (rule3 % int2)) ((triple5 ((triple5 triple4) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((triple5 ((triple5) -> (rule6 % int4))) -> (rule8 % int3)) triple5) -> (rule3 % int2)) ((triple7 ((triple5) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((triple5 ((triple5) -> (rule6 % int4))) -> (rule8 % int3)) triple5) -> (rule3 % int2)) ((triple7 ((triple5 triple4) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((triple5 ((triple5) -> (rule6 % int4))) -> (rule8 % int3)) triple5) -> (rule3 % int2)) ((((triple5 triple4) -> (rule4 % int2)) triple8) -> (rule7 % int3))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((triple5 ((triple5 triple4) -> (rule5 % int4))) -> (rule8 % int3)) triple5) -> (rule3 % int2)) ((triple5 ((triple5) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((triple5 ((triple5 triple4) -> (rule5 % int4))) -> (rule8 % int3)) triple5) -> (rule3 % int2)) ((triple5 ((triple5 triple4) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((triple5 ((triple5 triple4) -> (rule5 % int4))) -> (rule8 % int3)) triple5) -> (rule3 % int2)) ((triple7 ((triple5) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((triple5 ((triple5 triple4) -> (rule5 % int4))) -> (rule8 % int3)) triple5) -> (rule3 % int2)) ((triple7 ((triple5 triple4) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((triple5 ((triple5 triple4) -> (rule5 % int4))) -> (rule8 % int3)) triple5) -> (rule3 % int2)) ((((triple5 triple4) -> (rule4 % int2)) triple8) -> (rule7 % int3))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((triple5 ((triple5) -> (rule6 % int4))) -> (rule8 % int3)) triple5) -> (rule3 % int2)) ((((triple5 triple4) -> (rule4 % int2)) ((triple5) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((triple5 ((triple5) -> (rule6 % int4))) -> (rule8 % int3)) triple5) -> (rule3 % int2)) ((((triple5 triple4) -> (rule4 % int2)) ((triple5 triple4) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((triple5 ((triple5 triple4) -> (rule5 % int4))) -> (rule8 % int3)) triple5) -> (rule3 % int2)) ((((triple5 triple4) -> (rule4 % int2)) ((triple5) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((triple5 ((triple5 triple4) -> (rule5 % int4))) -> (rule8 % int3)) triple5) -> (rule3 % int2)) ((((triple5 triple4) -> (rule4 % int2)) ((triple5 triple4) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is not blue.
("Erin" "is" "blue" "-")
triple4
Erin is round.
("Erin" "is" "round" "+")
triple7
((triple5 triple4) -> (rule4 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((triple5 triple8) -> (rule8 % int2)) triple5) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple5 ((triple5) -> (rule6 % int3))) -> (rule8 % int2)) triple5) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((triple5 ((triple5 triple4) -> (rule5 % int3))) -> (rule8 % int2)) triple5) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
triple8
((triple5) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple5 triple4) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Gary is not red.
("Gary" "is" "red" "-")
triple9
Gary is not young.
("Gary" "is" "young" "-")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is furry.
("Harry" "is" "furry" "+")
triple12
Charlie is round.
("Charlie" "is" "round" "+")
((triple3) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((((triple2 ((triple2) -> (rule6 % int3))) -> (rule8 % int2)) triple2) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
((triple2) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
((triple5 triple8) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple7 triple8) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple5 ((triple5) -> (rule6 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((triple5 ((triple5 triple4) -> (rule5 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((triple7 ((triple5) -> (rule6 % int2))) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((triple7 ((triple5 triple4) -> (rule5 % int2))) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple5 triple4) -> (rule4 % int2)) triple8) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((triple5 triple4) -> (rule4 % int3)) ((triple5) -> (rule6 % int2))) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((triple5 triple4) -> (rule4 % int3)) ((triple5 triple4) -> (rule5 % int2))) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
((triple12) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((triple2 ((triple2) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((triple12 ((triple12) -> (rule6 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
((((triple3) -> (rule2 % int4)) ((triple2 ((triple2) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple2 ((triple2) -> (rule6 % int4))) -> (rule8 % int3)) triple2) -> (rule3 % int2)) ((triple2 ((triple2) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
((((triple12 ((triple12) -> (rule6 % int3))) -> (rule8 % int2)) triple12) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
((((((triple12 ((triple12) -> (rule6 % int4))) -> (rule8 % int3)) triple12) -> (rule3 % int2)) ((triple12 ((triple12) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4