Erin is big. Erin is kind. Erin is round. Erin is young. Fiona is big. Gary is big. Gary is kind. Harry is big. Harry is quiet. Harry is young. All young, kind things are quiet. Blue things are big. If something is big then it is kind. Kind things are furry. If something is quiet then it is round. All big things are furry. If something is furry then it is quiet. All kind, quiet things are round.
Erin is big.
("Erin" "is" "big" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is young.
("Harry" "is" "young" "+")
All young, kind things are quiet.
((("something" "is" "young" "+") ("something" "is" "kind" "+")) -> ("something" "is" "quiet" "+"))
Blue things are big.
((("something" "is" "blue" "+")) -> ("something" "is" "big" "+"))
If something is big then it is kind.
((("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
Kind things are furry.
((("something" "is" "kind" "+")) -> ("something" "is" "furry" "+"))
If something is quiet then it is round.
((("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
All big things are furry.
((("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
If something is furry then it is quiet.
((("something" "is" "furry" "+")) -> ("something" "is" "quiet" "+"))
All kind, quiet things are round.
((("something" "is" "kind" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
Erin is kind.
True
1
proof
[(triple2 OR ((triple1) -> rule3))]
("Erin" "is" "kind" "+")
triple2
((triple1) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Harry is not big.
False
1
inv-proof
[(triple8)]
("Harry" "is" "big" "-")
triple8
Harry is round.
True
2
proof
[(((triple9) -> rule5) OR ((((triple8) -> rule3) triple9) -> rule8) OR ((((((triple8) -> rule6)) -> rule7)) -> rule5) OR ((((triple10 ((triple8) -> rule3)) -> rule1)) -> rule5) OR ((((triple8) -> rule3) ((((triple8) -> rule6)) -> rule7)) -> rule8) OR ((((triple8) -> rule3) ((triple10 ((triple8) -> rule3)) -> rule1)) -> rule8) OR ((((((((triple8) -> rule3)) -> rule4)) -> rule7)) -> rule5) OR ((((triple8) -> rule3) ((((((triple8) -> rule3)) -> rule4)) -> rule7)) -> rule8))]
("Harry" "is" "round" "+")
((triple9) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((triple8) -> (rule3 % int2)) triple9) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((((triple8) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((triple10 ((triple8) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((triple8) -> (rule3 % int4)) ((((triple8) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple8) -> (rule3 % int3)) ((triple10 ((triple8) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((((triple8) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple8) -> (rule3 % int4)) ((((((triple8) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is not round.
False
2
inv-proof
[(((triple9) -> rule5) OR ((((triple8) -> rule3) triple9) -> rule8) OR ((((((triple8) -> rule6)) -> rule7)) -> rule5) OR ((((triple10 ((triple8) -> rule3)) -> rule1)) -> rule5) OR ((((triple8) -> rule3) ((((triple8) -> rule6)) -> rule7)) -> rule8) OR ((((triple8) -> rule3) ((triple10 ((triple8) -> rule3)) -> rule1)) -> rule8) OR ((((((((triple8) -> rule3)) -> rule4)) -> rule7)) -> rule5) OR ((((triple8) -> rule3) ((((((triple8) -> rule3)) -> rule4)) -> rule7)) -> rule8))]
("Harry" "is" "round" "-")
((triple9) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((triple8) -> (rule3 % int2)) triple9) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((((triple8) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((triple10 ((triple8) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((triple8) -> (rule3 % int4)) ((((triple8) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple8) -> (rule3 % int3)) ((triple10 ((triple8) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((((triple8) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple8) -> (rule3 % int4)) ((((((triple8) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Fiona is quiet.
True
3
proof
[(((((triple5) -> rule6)) -> rule7) OR ((((((triple5) -> rule3)) -> rule4)) -> rule7))]
("Fiona" "is" "quiet" "+")
((((triple5) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((((triple5) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Gary is not quiet.
False
3
inv-proof
[(((((triple6) -> rule6)) -> rule7) OR ((((triple7) -> rule4)) -> rule7) OR ((((((triple6) -> rule3)) -> rule4)) -> rule7))]
("Gary" "is" "quiet" "-")
((((triple6) -> (rule6 % int2))) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple7) -> (rule4 % int2))) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((((triple6) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Erin is big.[(triple1)] Erin is kind.[(triple2 OR ((triple1) -> rule3))] Erin is round.[(triple3 OR ((((triple4 triple2) -> rule1)) -> rule5) OR ((triple2 ((triple4 triple2) -> rule1)) -> rule8) OR ((((triple1) -> rule3) ((triple4 triple2) -> rule1)) -> rule8) OR ((((((triple1) -> rule6)) -> rule7)) -> rule5) OR ((((((triple2) -> rule4)) -> rule7)) -> rule5) OR ((((triple4 ((triple1) -> rule3)) -> rule1)) -> rule5) OR ((triple2 ((((triple1) -> rule6)) -> rule7)) -> rule8) OR ((triple2 ((((triple2) -> rule4)) -> rule7)) -> rule8) OR ((triple2 ((triple4 ((triple1) -> rule3)) -> rule1)) -> rule8) OR ((((triple1) -> rule3) ((((triple1) -> rule6)) -> rule7)) -> rule8) OR ((((triple1) -> rule3) ((((triple2) -> rule4)) -> rule7)) -> rule8) OR ((((triple1) -> rule3) ((triple4 ((triple1) -> rule3)) -> rule1)) -> rule8) OR ((((((((triple1) -> rule3)) -> rule4)) -> rule7)) -> rule5) OR ((triple2 ((((((triple1) -> rule3)) -> rule4)) -> rule7)) -> rule8) OR ((((triple1) -> rule3) ((((((triple1) -> rule3)) -> rule4)) -> rule7)) -> rule8))] Erin is young.[(triple4)] Fiona is big.[(triple5)] Gary is big.[(triple6)] Gary is kind.[(triple7 OR ((triple6) -> rule3))] Harry is big.[(triple8)] Harry is quiet.[(triple9 OR ((((triple8) -> rule6)) -> rule7) OR ((triple10 ((triple8) -> rule3)) -> rule1) OR ((((((triple8) -> rule3)) -> rule4)) -> rule7))] Harry is young.[(triple10)] @1: Erin is furry.[(((triple1) -> rule6) OR ((triple2) -> rule4) OR ((((triple1) -> rule3)) -> rule4))] Erin is quiet.[(((triple4 triple2) -> rule1) OR ((((triple1) -> rule6)) -> rule7) OR ((((triple2) -> rule4)) -> rule7) OR ((triple4 ((triple1) -> rule3)) -> rule1) OR ((((((triple1) -> rule3)) -> rule4)) -> rule7))] Fiona is furry.[(((triple5) -> rule6) OR ((((triple5) -> rule3)) -> rule4))] Fiona is kind.[(((triple5) -> rule3))] Gary is furry.[(((triple6) -> rule6) OR ((triple7) -> rule4) OR ((((triple6) -> rule3)) -> rule4))] Harry is furry.[(((triple8) -> rule6) OR ((((triple8) -> rule3)) -> rule4))] Harry is kind.[(((triple8) -> rule3))] Harry is round.[(((triple9) -> rule5) OR ((((triple8) -> rule3) triple9) -> rule8) OR ((((((triple8) -> rule6)) -> rule7)) -> rule5) OR ((((triple10 ((triple8) -> rule3)) -> rule1)) -> rule5) OR ((((triple8) -> rule3) ((((triple8) -> rule6)) -> rule7)) -> rule8) OR ((((triple8) -> rule3) ((triple10 ((triple8) -> rule3)) -> rule1)) -> rule8) OR ((((((((triple8) -> rule3)) -> rule4)) -> rule7)) -> rule5) OR ((((triple8) -> rule3) ((((((triple8) -> rule3)) -> rule4)) -> rule7)) -> rule8))] @2: Fiona is quiet.[(((((triple5) -> rule6)) -> rule7) OR ((((((triple5) -> rule3)) -> rule4)) -> rule7))] Gary is quiet.[(((((triple6) -> rule6)) -> rule7) OR ((((triple7) -> rule4)) -> rule7) OR ((((((triple6) -> rule3)) -> rule4)) -> rule7))] @3: Fiona is round.[(((((((triple5) -> rule6)) -> rule7)) -> rule5) OR ((((triple5) -> rule3) ((((triple5) -> rule6)) -> rule7)) -> rule8) OR ((((((((triple5) -> rule3)) -> rule4)) -> rule7)) -> rule5) OR ((((triple5) -> rule3) ((((((triple5) -> rule3)) -> rule4)) -> rule7)) -> rule8))] Gary is round.[(((((((triple6) -> rule6)) -> rule7)) -> rule5) OR ((((((triple7) -> rule4)) -> rule7)) -> rule5) OR ((triple7 ((((triple6) -> rule6)) -> rule7)) -> rule8) OR ((triple7 ((((triple7) -> rule4)) -> rule7)) -> rule8) OR ((((triple6) -> rule3) ((((triple6) -> rule6)) -> rule7)) -> rule8) OR ((((triple6) -> rule3) ((((triple7) -> rule4)) -> rule7)) -> rule8) OR ((((((((triple6) -> rule3)) -> rule4)) -> rule7)) -> rule5) OR ((triple7 ((((((triple6) -> rule3)) -> rule4)) -> rule7)) -> rule8) OR ((((triple6) -> rule3) ((((((triple6) -> rule3)) -> rule4)) -> rule7)) -> rule8))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
((triple1) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
triple3
((((triple4 triple2) -> (rule1 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((triple2 ((triple4 triple2) -> (rule1 % int2))) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple1) -> (rule3 % int3)) ((triple4 triple2) -> (rule1 % int2))) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((((triple1) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((triple2) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((triple4 ((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((triple2 ((((triple1) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((triple2 ((((triple2) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((triple2 ((triple4 ((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((triple1) -> (rule3 % int4)) ((((triple1) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((triple1) -> (rule3 % int4)) ((((triple2) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((triple1) -> (rule3 % int3)) ((triple4 ((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((((((triple1) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((triple2 ((((((triple1) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((triple1) -> (rule3 % int4)) ((((((triple1) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple7
((triple6) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is quiet.
("Harry" "is" "quiet" "+")
triple9
((((triple8) -> (rule6 % int2))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((triple10 ((triple8) -> (rule3 % int2))) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((((triple8) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
triple10
Erin is furry.
("Erin" "is" "furry" "+")
((triple1) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((triple2) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple1) -> (rule3 % int2))) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple4 triple2) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((((triple1) -> (rule6 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((triple2) -> (rule4 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((triple4 ((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((((triple1) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple5) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple5) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((triple6) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple7) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((((triple6) -> (rule3 % int2))) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
((triple8) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((triple8) -> (rule3 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((triple8) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple9) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((triple8) -> (rule3 % int2)) triple9) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((((triple8) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((triple10 ((triple8) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((triple8) -> (rule3 % int4)) ((((triple8) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple8) -> (rule3 % int3)) ((triple10 ((triple8) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((((triple8) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple8) -> (rule3 % int4)) ((((((triple8) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple5) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((((triple5) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
((((triple6) -> (rule6 % int2))) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple7) -> (rule4 % int2))) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((((triple6) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
((((((triple5) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple5) -> (rule3 % int4)) ((((triple5) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((((((triple5) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((triple5) -> (rule3 % int4)) ((((((triple5) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
((((((triple6) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple7) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((triple7 ((((triple6) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((triple7 ((((triple7) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((triple6) -> (rule3 % int4)) ((((triple6) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((triple6) -> (rule3 % int4)) ((((triple7) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((((((triple6) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((triple7 ((((((triple6) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((triple6) -> (rule3 % int4)) ((((((triple6) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4