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