Dave is big. Dave is cold. Dave is quiet. Erin is big. Erin is cold. Erin is furry. Erin is kind. Erin is quiet. Erin is rough. Erin is white. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is white. If Fiona is white and Fiona is rough then Fiona is furry. If something is furry then it is kind. Cold things are quiet. All white, big things are quiet. If something is furry and big then it is white. If something is big and cold then it is furry. If something is quiet then it is cold. All furry, white things are rough.
Dave is big.
("Dave" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If Fiona is white and Fiona is rough then Fiona is furry.
((("Fiona" "is" "white" "+") ("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "furry" "+"))
If something is furry then it is kind.
((("something" "is" "furry" "+")) -> ("something" "is" "kind" "+"))
Cold things are quiet.
((("something" "is" "cold" "+")) -> ("something" "is" "quiet" "+"))
All white, big things are quiet.
((("something" "is" "white" "+") ("something" "is" "big" "+")) -> ("something" "is" "quiet" "+"))
If something is furry and big then it is white.
((("something" "is" "furry" "+") ("something" "is" "big" "+")) -> ("something" "is" "white" "+"))
If something is big and cold then it is furry.
((("something" "is" "big" "+") ("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
If something is quiet then it is cold.
((("something" "is" "quiet" "+")) -> ("something" "is" "cold" "+"))
All furry, white things are rough.
((("something" "is" "furry" "+") ("something" "is" "white" "+")) -> ("something" "is" "rough" "+"))
Fiona is white.
True
1
proof
[(triple16)]
("Fiona" "is" "white" "+")
triple16
Erin is not white.
False
1
inv-proof
[(triple10 OR ((triple6 triple4) -> rule5) OR ((((triple4 triple5) -> rule6) triple4) -> rule5) OR ((((triple4 ((triple8) -> rule7)) -> rule6) triple4) -> rule5))]
("Erin" "is" "white" "-")
triple10
((triple6 triple4) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple4 triple5) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((triple4 ((triple8) -> (rule7 % int3))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Dave is furry.
True
3
proof
[(((triple1 triple2) -> rule6) OR ((triple1 ((triple3) -> rule7)) -> rule6))]
("Dave" "is" "furry" "+")
((triple1 triple2) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple1 ((triple3) -> (rule7 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not furry.
False
3
inv-proof
[(((triple1 triple2) -> rule6) OR ((triple1 ((triple3) -> rule7)) -> rule6))]
("Dave" "is" "furry" "-")
((triple1 triple2) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple1 ((triple3) -> (rule7 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is kind.
True
4
proof
[(((((triple1 triple2) -> rule6)) -> rule2) OR ((((triple1 ((triple3) -> rule7)) -> rule6)) -> rule2))]
("Dave" "is" "kind" "+")
((((triple1 triple2) -> (rule6 % int2))) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((triple1 ((triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is not kind.
False
4
inv-proof
[(((((triple1 triple2) -> rule6)) -> rule2) OR ((((triple1 ((triple3) -> rule7)) -> rule6)) -> rule2))]
("Dave" "is" "kind" "-")
((((triple1 triple2) -> (rule6 % int2))) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((triple1 ((triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is rough.
True
9
proof
[(((((triple1 triple2) -> rule6) ((((triple1 triple2) -> rule6) triple1) -> rule5)) -> rule8) OR ((((triple1 ((triple3) -> rule7)) -> rule6) ((((triple1 triple2) -> rule6) triple1) -> rule5)) -> rule8) OR ((((triple1 triple2) -> rule6) ((((triple1 ((triple3) -> rule7)) -> rule6) triple1) -> rule5)) -> rule8) OR ((((triple1 ((triple3) -> rule7)) -> rule6) ((((triple1 ((triple3) -> rule7)) -> rule6) triple1) -> rule5)) -> rule8))]
("Dave" "is" "rough" "+")
((((triple1 triple2) -> (rule6 % int3)) ((((triple1 triple2) -> (rule6 % int3)) triple1) -> (rule5 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((triple1 ((triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((triple1 triple2) -> (rule6 % int3)) triple1) -> (rule5 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((triple1 triple2) -> (rule6 % int4)) ((((triple1 ((triple3) -> (rule7 % int3))) -> (rule6 % int4)) triple1) -> (rule5 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((triple1 ((triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((triple1 ((triple3) -> (rule7 % int4))) -> (rule6 % int3)) triple1) -> (rule5 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is not rough.
False
9
inv-proof
[(((((triple1 triple2) -> rule6) ((((triple1 triple2) -> rule6) triple1) -> rule5)) -> rule8) OR ((((triple1 ((triple3) -> rule7)) -> rule6) ((((triple1 triple2) -> rule6) triple1) -> rule5)) -> rule8) OR ((((triple1 triple2) -> rule6) ((((triple1 ((triple3) -> rule7)) -> rule6) triple1) -> rule5)) -> rule8) OR ((((triple1 ((triple3) -> rule7)) -> rule6) ((((triple1 ((triple3) -> rule7)) -> rule6) triple1) -> rule5)) -> rule8))]
("Dave" "is" "rough" "-")
((((triple1 triple2) -> (rule6 % int3)) ((((triple1 triple2) -> (rule6 % int3)) triple1) -> (rule5 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((triple1 ((triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((triple1 triple2) -> (rule6 % int3)) triple1) -> (rule5 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((triple1 triple2) -> (rule6 % int4)) ((((triple1 ((triple3) -> (rule7 % int3))) -> (rule6 % int4)) triple1) -> (rule5 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((triple1 ((triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((triple1 ((triple3) -> (rule7 % int4))) -> (rule6 % int3)) triple1) -> (rule5 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
@0: Dave is big.[(triple1)] Dave is cold.[(triple2 OR ((triple3) -> rule7))] Dave is quiet.[(triple3 OR ((triple2) -> rule3) OR ((((((triple1 triple2) -> rule6) triple1) -> rule5) triple1) -> rule4))] Erin is big.[(triple4)] Erin is cold.[(triple5 OR ((triple8) -> rule7) OR ((((triple10 triple4) -> rule4)) -> rule7) OR ((((((triple6 triple4) -> rule5) triple4) -> rule4)) -> rule7))] Erin is furry.[(triple6 OR ((triple4 triple5) -> rule6) OR ((triple4 ((triple8) -> rule7)) -> rule6) OR ((triple4 ((((triple10 triple4) -> rule4)) -> rule7)) -> rule6))] Erin is kind.[(triple7 OR ((triple6) -> rule2) OR ((((triple4 triple5) -> rule6)) -> rule2) OR ((((triple4 ((triple8) -> rule7)) -> rule6)) -> rule2) OR ((((triple4 ((((triple10 triple4) -> rule4)) -> rule7)) -> rule6)) -> rule2))] Erin is quiet.[(triple8 OR ((triple5) -> rule3) OR ((triple10 triple4) -> rule4) OR ((((triple6 triple4) -> rule5) triple4) -> rule4) OR ((((((triple4 triple5) -> rule6) triple4) -> rule5) triple4) -> rule4))] Erin is rough.[(triple9 OR ((triple6 triple10) -> rule8) OR ((triple6 ((triple6 triple4) -> rule5)) -> rule8) OR ((((triple4 triple5) -> rule6) triple10) -> rule8) OR ((((triple4 triple5) -> rule6) ((triple6 triple4) -> rule5)) -> rule8) OR ((triple6 ((((triple4 triple5) -> rule6) triple4) -> rule5)) -> rule8) OR ((((triple4 ((triple8) -> rule7)) -> rule6) triple10) -> rule8) OR ((((triple4 triple5) -> rule6) ((((triple4 triple5) -> rule6) triple4) -> rule5)) -> rule8) OR ((((triple4 ((triple8) -> rule7)) -> rule6) ((triple6 triple4) -> rule5)) -> rule8) OR ((((triple4 ((triple8) -> rule7)) -> rule6) ((((triple4 triple5) -> rule6) triple4) -> rule5)) -> rule8) OR ((triple6 ((((triple4 ((triple8) -> rule7)) -> rule6) triple4) -> rule5)) -> rule8) OR ((((triple4 ((((triple10 triple4) -> rule4)) -> rule7)) -> rule6) triple10) -> rule8) OR ((((triple4 triple5) -> rule6) ((((triple4 ((triple8) -> rule7)) -> rule6) triple4) -> rule5)) -> rule8) OR ((((triple4 ((((triple10 triple4) -> rule4)) -> rule7)) -> rule6) ((triple6 triple4) -> rule5)) -> rule8) OR ((((triple4 ((triple8) -> rule7)) -> rule6) ((((triple4 ((triple8) -> rule7)) -> rule6) triple4) -> rule5)) -> rule8) OR ((((triple4 ((((triple10 triple4) -> rule4)) -> rule7)) -> rule6) ((((triple4 triple5) -> rule6) triple4) -> rule5)) -> rule8) OR ((((triple4 ((((triple10 triple4) -> rule4)) -> rule7)) -> rule6) ((((triple4 ((triple8) -> rule7)) -> rule6) triple4) -> rule5)) -> rule8))] Erin is white.[(triple10 OR ((triple6 triple4) -> rule5) OR ((((triple4 triple5) -> rule6) triple4) -> rule5) OR ((((triple4 ((triple8) -> rule7)) -> rule6) triple4) -> rule5))] Fiona is cold.[(triple11 OR ((triple14) -> rule7))] Fiona is furry.[(triple12 OR ((triple16 triple15) -> rule1))] Fiona is kind.[(triple13 OR ((triple12) -> rule2) OR ((((triple16 triple15) -> rule1)) -> rule2))] Fiona is quiet.[(triple14 OR ((triple11) -> rule3))] Fiona is rough.[(triple15 OR ((triple12 triple16) -> rule8))] Fiona is white.[(triple16)] @1: Dave is furry.[(((triple1 triple2) -> rule6) OR ((triple1 ((triple3) -> rule7)) -> rule6))] @2: Dave is kind.[(((((triple1 triple2) -> rule6)) -> rule2) OR ((((triple1 ((triple3) -> rule7)) -> rule6)) -> rule2))] Dave is white.[(((((triple1 triple2) -> rule6) triple1) -> rule5) OR ((((triple1 ((triple3) -> rule7)) -> rule6) triple1) -> rule5))] @3: Dave is rough.[(((((triple1 triple2) -> rule6) ((((triple1 triple2) -> rule6) triple1) -> rule5)) -> rule8) OR ((((triple1 ((triple3) -> rule7)) -> rule6) ((((triple1 triple2) -> rule6) triple1) -> rule5)) -> rule8) OR ((((triple1 triple2) -> rule6) ((((triple1 ((triple3) -> rule7)) -> rule6) triple1) -> rule5)) -> rule8) OR ((((triple1 ((triple3) -> rule7)) -> rule6) ((((triple1 ((triple3) -> rule7)) -> rule6) triple1) -> rule5)) -> rule8))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
((triple3) -> (rule7 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
((triple2) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((((((triple1 triple2) -> (rule6 % int3)) triple1) -> (rule5 % int2)) triple1) -> (rule4 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
((triple8) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((((triple10 triple4) -> (rule4 % int2))) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((((triple6 triple4) -> (rule5 % int3)) triple4) -> (rule4 % int2))) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
triple6
((triple4 triple5) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((triple4 ((triple8) -> (rule7 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((triple4 ((((triple10 triple4) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
triple7
((triple6) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((((triple4 triple5) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((triple4 ((triple8) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((triple4 ((((triple10 triple4) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
((triple5) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((triple10 triple4) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((((triple6 triple4) -> (rule5 % int2)) triple4) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((((triple4 triple5) -> (rule6 % int3)) triple4) -> (rule5 % int2)) triple4) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
triple9
((triple6 triple10) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((triple6 ((triple6 triple4) -> (rule5 % int2))) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple4 triple5) -> (rule6 % int2)) triple10) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((triple4 triple5) -> (rule6 % int3)) ((triple6 triple4) -> (rule5 % int2))) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((triple6 ((((triple4 triple5) -> (rule6 % int3)) triple4) -> (rule5 % int2))) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((triple4 ((triple8) -> (rule7 % int3))) -> (rule6 % int2)) triple10) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((triple4 triple5) -> (rule6 % int3)) ((((triple4 triple5) -> (rule6 % int3)) triple4) -> (rule5 % int2))) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((triple4 ((triple8) -> (rule7 % int4))) -> (rule6 % int3)) ((triple6 triple4) -> (rule5 % int2))) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((triple4 ((triple8) -> (rule7 % int4))) -> (rule6 % int3)) ((((triple4 triple5) -> (rule6 % int3)) triple4) -> (rule5 % int2))) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((triple6 ((((triple4 ((triple8) -> (rule7 % int4))) -> (rule6 % int3)) triple4) -> (rule5 % int2))) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((triple4 ((((triple10 triple4) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) triple10) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((triple4 triple5) -> (rule6 % int4)) ((((triple4 ((triple8) -> (rule7 % int3))) -> (rule6 % int4)) triple4) -> (rule5 % int2))) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple4 ((((triple10 triple4) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule6 % int3)) ((triple6 triple4) -> (rule5 % int2))) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((triple4 ((triple8) -> (rule7 % int4))) -> (rule6 % int3)) ((((triple4 ((triple8) -> (rule7 % int4))) -> (rule6 % int3)) triple4) -> (rule5 % int2))) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((triple4 ((((triple10 triple4) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule6 % int3)) ((((triple4 triple5) -> (rule6 % int3)) triple4) -> (rule5 % int2))) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((triple4 ((((triple10 triple4) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule6 % int3)) ((((triple4 ((triple8) -> (rule7 % int4))) -> (rule6 % int3)) triple4) -> (rule5 % int2))) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is white.
("Erin" "is" "white" "+")
triple10
((triple6 triple4) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple4 triple5) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((triple4 ((triple8) -> (rule7 % int3))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple11
((triple14) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple12
((triple16 triple15) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple13
((triple12) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple16 triple15) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple14
((triple11) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple15
((triple12 triple16) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple16
Dave is furry.
("Dave" "is" "furry" "+")
((triple1 triple2) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple1 ((triple3) -> (rule7 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
((((triple1 triple2) -> (rule6 % int2))) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((triple1 ((triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
((((triple1 triple2) -> (rule6 % int2)) triple1) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((triple1 ((triple3) -> (rule7 % int3))) -> (rule6 % int2)) triple1) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
((((triple1 triple2) -> (rule6 % int3)) ((((triple1 triple2) -> (rule6 % int3)) triple1) -> (rule5 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((triple1 ((triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((triple1 triple2) -> (rule6 % int3)) triple1) -> (rule5 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((triple1 triple2) -> (rule6 % int4)) ((((triple1 ((triple3) -> (rule7 % int3))) -> (rule6 % int4)) triple1) -> (rule5 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((triple1 ((triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((triple1 ((triple3) -> (rule7 % int4))) -> (rule6 % int3)) triple1) -> (rule5 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4