Bob is cold. Bob is furry. Bob is kind. Bob is quiet. Bob is rough. Bob is smart. Bob is white. Erin is cold. Erin is furry. Erin is kind. Erin is quiet. Erin is rough. Erin is smart. Erin is white. All quiet, cold things are white. If something is cold and smart then it is kind. Cold things are quiet. Kind, smart things are quiet. If Bob is quiet then Bob is cold. All quiet, white things are rough. If Bob is smart and Bob is quiet then Bob is cold. All rough, kind things are cold.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
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 smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
All quiet, cold things are white.
((("something" "is" "quiet" "+") ("something" "is" "cold" "+")) -> ("something" "is" "white" "+"))
If something is cold and smart then it is kind.
((("something" "is" "cold" "+") ("something" "is" "smart" "+")) -> ("something" "is" "kind" "+"))
Cold things are quiet.
((("something" "is" "cold" "+")) -> ("something" "is" "quiet" "+"))
Kind, smart things are quiet.
((("something" "is" "kind" "+") ("something" "is" "smart" "+")) -> ("something" "is" "quiet" "+"))
If Bob is quiet then Bob is cold.
((("Bob" "is" "quiet" "+")) -> ("Bob" "is" "cold" "+"))
All quiet, white things are rough.
((("something" "is" "quiet" "+") ("something" "is" "white" "+")) -> ("something" "is" "rough" "+"))
If Bob is smart and Bob is quiet then Bob is cold.
((("Bob" "is" "smart" "+") ("Bob" "is" "quiet" "+")) -> ("Bob" "is" "cold" "+"))
All rough, kind things are cold.
((("something" "is" "rough" "+") ("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
Bob is cold.
True
1
proof
[(triple1 OR ((triple4) -> rule5) OR ((triple5 triple3) -> rule8) OR ((triple6 triple4) -> rule7) OR ((((triple3 triple6) -> rule4)) -> rule5) OR ((triple6 ((triple3 triple6) -> rule4)) -> rule7) OR ((((triple4 triple7) -> rule6) triple3) -> rule8) OR ((((((triple3 triple6) -> rule4) triple7) -> rule6) triple3) -> rule8))]
("Bob" "is" "cold" "+")
triple1
((triple4) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((triple5 triple3) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((triple6 triple4) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((((triple3 triple6) -> (rule4 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((triple6 ((triple3 triple6) -> (rule4 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((triple4 triple7) -> (rule6 % int2)) triple3) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((((triple3 triple6) -> (rule4 % int3)) triple7) -> (rule6 % int2)) triple3) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Erin is not white.
False
1
inv-proof
[(triple14 OR ((triple11 triple8) -> rule1) OR ((triple11 ((triple12 triple10) -> rule8)) -> rule1) OR ((((triple8) -> rule3) triple8) -> rule1) OR ((((triple10 triple13) -> rule4) triple8) -> rule1) OR ((((triple8) -> rule3) ((triple12 triple10) -> rule8)) -> rule1) OR ((((triple10 triple13) -> rule4) ((triple12 triple10) -> rule8)) -> rule1) OR ((((((triple12 triple10) -> rule8)) -> rule3) triple8) -> rule1) OR ((((((triple8 triple13) -> rule2) triple13) -> rule4) triple8) -> rule1) OR ((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule1) OR ((((((triple8 triple13) -> rule2) triple13) -> rule4) ((triple12 triple10) -> rule8)) -> rule1))]
("Erin" "is" "white" "-")
triple14
((triple11 triple8) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple11 ((triple12 triple10) -> (rule8 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple8) -> (rule3 % int2)) triple8) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple10 triple13) -> (rule4 % int2)) triple8) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple8) -> (rule3 % int3)) ((triple12 triple10) -> (rule8 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((triple10 triple13) -> (rule4 % int3)) ((triple12 triple10) -> (rule8 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((((triple12 triple10) -> (rule8 % int3))) -> (rule3 % int2)) triple8) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple8 triple13) -> (rule2 % int3)) triple13) -> (rule4 % int2)) triple8) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((((triple12 triple10) -> (rule8 % int3))) -> (rule3 % int2)) ((triple12 triple10) -> (rule8 % int3))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple8 triple13) -> (rule2 % int4)) triple13) -> (rule4 % int3)) ((triple12 triple10) -> (rule8 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
@0: Bob is cold.[(triple1 OR ((triple4) -> rule5) OR ((triple5 triple3) -> rule8) OR ((triple6 triple4) -> rule7) OR ((((triple3 triple6) -> rule4)) -> rule5) OR ((triple6 ((triple3 triple6) -> rule4)) -> rule7) OR ((((triple4 triple7) -> rule6) triple3) -> rule8) OR ((((((triple3 triple6) -> rule4) triple7) -> rule6) triple3) -> rule8))] Bob is furry.[(triple2)] Bob is kind.[(triple3 OR ((triple1 triple6) -> rule2) OR ((((triple4) -> rule5) triple6) -> rule2) OR ((((triple6 triple4) -> rule7) triple6) -> rule2))] Bob is quiet.[(triple4 OR ((triple1) -> rule3) OR ((triple3 triple6) -> rule4) OR ((((triple5 triple3) -> rule8)) -> rule3) OR ((((triple1 triple6) -> rule2) triple6) -> rule4))] Bob is rough.[(triple5 OR ((triple4 triple7) -> rule6) OR ((triple4 ((triple4 triple1) -> rule1)) -> rule6) OR ((((triple1) -> rule3) triple7) -> rule6) OR ((((triple3 triple6) -> rule4) triple7) -> rule6) OR ((((triple1) -> rule3) ((triple4 triple1) -> rule1)) -> rule6) OR ((((triple3 triple6) -> rule4) ((triple4 triple1) -> rule1)) -> rule6) OR ((triple4 ((triple4 ((triple4) -> rule5)) -> rule1)) -> rule6) OR ((triple4 ((triple4 ((triple6 triple4) -> rule7)) -> rule1)) -> rule6) OR ((triple4 ((((triple1) -> rule3) triple1) -> rule1)) -> rule6) OR ((triple4 ((((triple3 triple6) -> rule4) triple1) -> rule1)) -> rule6) OR ((((((triple1 triple6) -> rule2) triple6) -> rule4) triple7) -> rule6) OR ((triple4 ((((triple1) -> rule3) ((triple4) -> rule5)) -> rule1)) -> rule6) OR ((triple4 ((((triple1) -> rule3) ((triple6 triple4) -> rule7)) -> rule1)) -> rule6) OR ((triple4 ((((triple3 triple6) -> rule4) ((triple4) -> rule5)) -> rule1)) -> rule6) OR ((triple4 ((((triple3 triple6) -> rule4) ((triple6 triple4) -> rule7)) -> rule1)) -> rule6) OR ((((triple1) -> rule3) ((triple4 ((triple4) -> rule5)) -> rule1)) -> rule6) OR ((((triple1) -> rule3) ((triple4 ((triple6 triple4) -> rule7)) -> rule1)) -> rule6) OR ((((triple1) -> rule3) ((((triple1) -> rule3) triple1) -> rule1)) -> rule6) OR ((((triple1) -> rule3) ((((triple3 triple6) -> rule4) triple1) -> rule1)) -> rule6) OR ((((triple3 triple6) -> rule4) ((triple4 ((triple4) -> rule5)) -> rule1)) -> rule6) OR ((((triple3 triple6) -> rule4) ((triple4 ((triple6 triple4) -> rule7)) -> rule1)) -> rule6) OR ((((triple3 triple6) -> rule4) ((((triple1) -> rule3) triple1) -> rule1)) -> rule6) OR ((((triple3 triple6) -> rule4) ((((triple3 triple6) -> rule4) triple1) -> rule1)) -> rule6) OR ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((triple4 triple1) -> rule1)) -> rule6) OR ((((triple1) -> rule3) ((((triple1) -> rule3) ((triple4) -> rule5)) -> rule1)) -> rule6) OR ((((triple1) -> rule3) ((((triple1) -> rule3) ((triple6 triple4) -> rule7)) -> rule1)) -> rule6) OR ((((triple1) -> rule3) ((((triple3 triple6) -> rule4) ((triple4) -> rule5)) -> rule1)) -> rule6) OR ((((triple1) -> rule3) ((((triple3 triple6) -> rule4) ((triple6 triple4) -> rule7)) -> rule1)) -> rule6) OR ((((triple3 triple6) -> rule4) ((((triple1) -> rule3) ((triple4) -> rule5)) -> rule1)) -> rule6) OR ((((triple3 triple6) -> rule4) ((((triple1) -> rule3) ((triple6 triple4) -> rule7)) -> rule1)) -> rule6) OR ((((triple3 triple6) -> rule4) ((((triple3 triple6) -> rule4) ((triple4) -> rule5)) -> rule1)) -> rule6) OR ((((triple3 triple6) -> rule4) ((((triple3 triple6) -> rule4) ((triple6 triple4) -> rule7)) -> rule1)) -> rule6) OR ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((triple4 ((triple4) -> rule5)) -> rule1)) -> rule6) OR ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((triple4 ((triple6 triple4) -> rule7)) -> rule1)) -> rule6) OR ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((((triple1) -> rule3) triple1) -> rule1)) -> rule6) OR ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((((triple3 triple6) -> rule4) triple1) -> rule1)) -> rule6) OR ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((((triple1) -> rule3) ((triple4) -> rule5)) -> rule1)) -> rule6) OR ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((((triple1) -> rule3) ((triple6 triple4) -> rule7)) -> rule1)) -> rule6) OR ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((((triple3 triple6) -> rule4) ((triple4) -> rule5)) -> rule1)) -> rule6) OR ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((((triple3 triple6) -> rule4) ((triple6 triple4) -> rule7)) -> rule1)) -> rule6) OR ((triple4 ((triple4 ((((triple3 triple6) -> rule4)) -> rule5)) -> rule1)) -> rule6) OR ((triple4 ((triple4 ((triple6 ((triple3 triple6) -> rule4)) -> rule7)) -> rule1)) -> rule6) OR ((triple4 ((((((triple1 triple6) -> rule2) triple6) -> rule4) triple1) -> rule1)) -> rule6) OR ((triple4 ((((triple1) -> rule3) ((((triple3 triple6) -> rule4)) -> rule5)) -> rule1)) -> rule6) OR ((triple4 ((((triple1) -> rule3) ((triple6 ((triple3 triple6) -> rule4)) -> rule7)) -> rule1)) -> rule6) OR ((triple4 ((((triple3 triple6) -> rule4) ((((triple3 triple6) -> rule4)) -> rule5)) -> rule1)) -> rule6) OR ((triple4 ((((triple3 triple6) -> rule4) ((triple6 ((triple3 triple6) -> rule4)) -> rule7)) -> rule1)) -> rule6) OR ((triple4 ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((triple4) -> rule5)) -> rule1)) -> rule6) OR ((triple4 ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((triple6 triple4) -> rule7)) -> rule1)) -> rule6) OR ((((triple1) -> rule3) ((triple4 ((((triple3 triple6) -> rule4)) -> rule5)) -> rule1)) -> rule6) OR ((((triple1) -> rule3) ((triple4 ((triple6 ((triple3 triple6) -> rule4)) -> rule7)) -> rule1)) -> rule6) OR ((((triple1) -> rule3) ((((((triple1 triple6) -> rule2) triple6) -> rule4) triple1) -> rule1)) -> rule6) OR ((((triple3 triple6) -> rule4) ((triple4 ((((triple3 triple6) -> rule4)) -> rule5)) -> rule1)) -> rule6) OR ((((triple3 triple6) -> rule4) ((triple4 ((triple6 ((triple3 triple6) -> rule4)) -> rule7)) -> rule1)) -> rule6) OR ((((triple3 triple6) -> rule4) ((((((triple1 triple6) -> rule2) triple6) -> rule4) triple1) -> rule1)) -> rule6) OR ((triple4 ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((((triple3 triple6) -> rule4)) -> rule5)) -> rule1)) -> rule6) OR ((triple4 ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((triple6 ((triple3 triple6) -> rule4)) -> rule7)) -> rule1)) -> rule6) OR ((((triple1) -> rule3) ((((triple1) -> rule3) ((((triple3 triple6) -> rule4)) -> rule5)) -> rule1)) -> rule6) OR ((((triple1) -> rule3) ((((triple1) -> rule3) ((triple6 ((triple3 triple6) -> rule4)) -> rule7)) -> rule1)) -> rule6) OR ((((triple1) -> rule3) ((((triple3 triple6) -> rule4) ((((triple3 triple6) -> rule4)) -> rule5)) -> rule1)) -> rule6) OR ((((triple1) -> rule3) ((((triple3 triple6) -> rule4) ((triple6 ((triple3 triple6) -> rule4)) -> rule7)) -> rule1)) -> rule6) OR ((((triple1) -> rule3) ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((triple4) -> rule5)) -> rule1)) -> rule6) OR ((((triple1) -> rule3) ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((triple6 triple4) -> rule7)) -> rule1)) -> rule6) OR ((((triple3 triple6) -> rule4) ((((triple1) -> rule3) ((((triple3 triple6) -> rule4)) -> rule5)) -> rule1)) -> rule6) OR ((((triple3 triple6) -> rule4) ((((triple1) -> rule3) ((triple6 ((triple3 triple6) -> rule4)) -> rule7)) -> rule1)) -> rule6) OR ((((triple3 triple6) -> rule4) ((((triple3 triple6) -> rule4) ((((triple3 triple6) -> rule4)) -> rule5)) -> rule1)) -> rule6) OR ((((triple3 triple6) -> rule4) ((((triple3 triple6) -> rule4) ((triple6 ((triple3 triple6) -> rule4)) -> rule7)) -> rule1)) -> rule6) OR ((((triple3 triple6) -> rule4) ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((triple4) -> rule5)) -> rule1)) -> rule6) OR ((((triple3 triple6) -> rule4) ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((triple6 triple4) -> rule7)) -> rule1)) -> rule6) OR ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((triple4 ((((triple3 triple6) -> rule4)) -> rule5)) -> rule1)) -> rule6) OR ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((triple4 ((triple6 ((triple3 triple6) -> rule4)) -> rule7)) -> rule1)) -> rule6) OR ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((((((triple1 triple6) -> rule2) triple6) -> rule4) triple1) -> rule1)) -> rule6) OR ((((triple1) -> rule3) ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((((triple3 triple6) -> rule4)) -> rule5)) -> rule1)) -> rule6) OR ((((triple1) -> rule3) ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((triple6 ((triple3 triple6) -> rule4)) -> rule7)) -> rule1)) -> rule6) OR ((((triple3 triple6) -> rule4) ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((((triple3 triple6) -> rule4)) -> rule5)) -> rule1)) -> rule6) OR ((((triple3 triple6) -> rule4) ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((triple6 ((triple3 triple6) -> rule4)) -> rule7)) -> rule1)) -> rule6) OR ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((((triple1) -> rule3) ((((triple3 triple6) -> rule4)) -> rule5)) -> rule1)) -> rule6) OR ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((((triple1) -> rule3) ((triple6 ((triple3 triple6) -> rule4)) -> rule7)) -> rule1)) -> rule6) OR ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((((triple3 triple6) -> rule4) ((((triple3 triple6) -> rule4)) -> rule5)) -> rule1)) -> rule6) OR ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((((triple3 triple6) -> rule4) ((triple6 ((triple3 triple6) -> rule4)) -> rule7)) -> rule1)) -> rule6) OR ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((triple4) -> rule5)) -> rule1)) -> rule6) OR ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((triple6 triple4) -> rule7)) -> rule1)) -> rule6) OR ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((((triple3 triple6) -> rule4)) -> rule5)) -> rule1)) -> rule6) OR ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((triple6 ((triple3 triple6) -> rule4)) -> rule7)) -> rule1)) -> rule6))] Bob is smart.[(triple6)] Bob is white.[(triple7 OR ((triple4 triple1) -> rule1) OR ((triple4 ((triple4) -> rule5)) -> rule1) OR ((triple4 ((triple5 triple3) -> rule8)) -> rule1) OR ((triple4 ((triple6 triple4) -> rule7)) -> rule1) OR ((((triple1) -> rule3) triple1) -> rule1) OR ((((triple3 triple6) -> rule4) triple1) -> rule1) OR ((((triple1) -> rule3) ((triple4) -> rule5)) -> rule1) OR ((((triple1) -> rule3) ((triple5 triple3) -> rule8)) -> rule1) OR ((((triple1) -> rule3) ((triple6 triple4) -> rule7)) -> rule1) OR ((((triple3 triple6) -> rule4) ((triple4) -> rule5)) -> rule1) OR ((((triple3 triple6) -> rule4) ((triple5 triple3) -> rule8)) -> rule1) OR ((((triple3 triple6) -> rule4) ((triple6 triple4) -> rule7)) -> rule1) OR ((triple4 ((((triple3 triple6) -> rule4)) -> rule5)) -> rule1) OR ((triple4 ((triple6 ((triple3 triple6) -> rule4)) -> rule7)) -> rule1) OR ((((((triple5 triple3) -> rule8)) -> rule3) triple1) -> rule1) OR ((((((triple1 triple6) -> rule2) triple6) -> rule4) triple1) -> rule1) OR ((((triple1) -> rule3) ((((triple3 triple6) -> rule4)) -> rule5)) -> rule1) OR ((((triple1) -> rule3) ((triple6 ((triple3 triple6) -> rule4)) -> rule7)) -> rule1) OR ((((((triple5 triple3) -> rule8)) -> rule3) ((triple4) -> rule5)) -> rule1) OR ((((((triple5 triple3) -> rule8)) -> rule3) ((triple5 triple3) -> rule8)) -> rule1) OR ((((((triple5 triple3) -> rule8)) -> rule3) ((triple6 triple4) -> rule7)) -> rule1) OR ((((triple3 triple6) -> rule4) ((((triple3 triple6) -> rule4)) -> rule5)) -> rule1) OR ((((triple3 triple6) -> rule4) ((triple6 ((triple3 triple6) -> rule4)) -> rule7)) -> rule1) OR ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((triple4) -> rule5)) -> rule1) OR ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((triple5 triple3) -> rule8)) -> rule1) OR ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((triple6 triple4) -> rule7)) -> rule1) OR ((((((triple5 triple3) -> rule8)) -> rule3) ((((triple3 triple6) -> rule4)) -> rule5)) -> rule1) OR ((((((triple5 triple3) -> rule8)) -> rule3) ((triple6 ((triple3 triple6) -> rule4)) -> rule7)) -> rule1) OR ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((((triple3 triple6) -> rule4)) -> rule5)) -> rule1) OR ((((((triple1 triple6) -> rule2) triple6) -> rule4) ((triple6 ((triple3 triple6) -> rule4)) -> rule7)) -> rule1))] Erin is cold.[(triple8 OR ((triple12 triple10) -> rule8) OR ((((triple11 triple14) -> rule6) triple10) -> rule8) OR ((((((triple10 triple13) -> rule4) triple14) -> rule6) triple10) -> rule8))] Erin is furry.[(triple9)] Erin is kind.[(triple10 OR ((triple8 triple13) -> rule2))] Erin is quiet.[(triple11 OR ((triple8) -> rule3) OR ((triple10 triple13) -> rule4) OR ((((triple12 triple10) -> rule8)) -> rule3) OR ((((triple8 triple13) -> rule2) triple13) -> rule4))] Erin is rough.[(triple12 OR ((triple11 triple14) -> rule6) OR ((triple11 ((triple11 triple8) -> rule1)) -> rule6) OR ((((triple8) -> rule3) triple14) -> rule6) OR ((((triple10 triple13) -> rule4) triple14) -> rule6) OR ((((triple8) -> rule3) ((triple11 triple8) -> rule1)) -> rule6) OR ((((triple10 triple13) -> rule4) ((triple11 triple8) -> rule1)) -> rule6) OR ((triple11 ((((triple8) -> rule3) triple8) -> rule1)) -> rule6) OR ((triple11 ((((triple10 triple13) -> rule4) triple8) -> rule1)) -> rule6) OR ((((((triple8 triple13) -> rule2) triple13) -> rule4) triple14) -> rule6) OR ((((triple8) -> rule3) ((((triple8) -> rule3) triple8) -> rule1)) -> rule6) OR ((((triple8) -> rule3) ((((triple10 triple13) -> rule4) triple8) -> rule1)) -> rule6) OR ((((triple10 triple13) -> rule4) ((((triple8) -> rule3) triple8) -> rule1)) -> rule6) OR ((((triple10 triple13) -> rule4) ((((triple10 triple13) -> rule4) triple8) -> rule1)) -> rule6) OR ((((((triple8 triple13) -> rule2) triple13) -> rule4) ((triple11 triple8) -> rule1)) -> rule6) OR ((((((triple8 triple13) -> rule2) triple13) -> rule4) ((((triple8) -> rule3) triple8) -> rule1)) -> rule6) OR ((((((triple8 triple13) -> rule2) triple13) -> rule4) ((((triple10 triple13) -> rule4) triple8) -> rule1)) -> rule6) OR ((triple11 ((((((triple8 triple13) -> rule2) triple13) -> rule4) triple8) -> rule1)) -> rule6) OR ((((triple8) -> rule3) ((((((triple8 triple13) -> rule2) triple13) -> rule4) triple8) -> rule1)) -> rule6) OR ((((triple10 triple13) -> rule4) ((((((triple8 triple13) -> rule2) triple13) -> rule4) triple8) -> rule1)) -> rule6) OR ((((((triple8 triple13) -> rule2) triple13) -> rule4) ((((((triple8 triple13) -> rule2) triple13) -> rule4) triple8) -> rule1)) -> rule6))] Erin is smart.[(triple13)] Erin is white.[(triple14 OR ((triple11 triple8) -> rule1) OR ((triple11 ((triple12 triple10) -> rule8)) -> rule1) OR ((((triple8) -> rule3) triple8) -> rule1) OR ((((triple10 triple13) -> rule4) triple8) -> rule1) OR ((((triple8) -> rule3) ((triple12 triple10) -> rule8)) -> rule1) OR ((((triple10 triple13) -> rule4) ((triple12 triple10) -> rule8)) -> rule1) OR ((((((triple12 triple10) -> rule8)) -> rule3) triple8) -> rule1) OR ((((((triple8 triple13) -> rule2) triple13) -> rule4) triple8) -> rule1) OR ((((((triple12 triple10) -> rule8)) -> rule3) ((triple12 triple10) -> rule8)) -> rule1) OR ((((((triple8 triple13) -> rule2) triple13) -> rule4) ((triple12 triple10) -> rule8)) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
((triple4) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((triple5 triple3) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((triple6 triple4) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((((triple3 triple6) -> (rule4 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((triple6 ((triple3 triple6) -> (rule4 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((triple4 triple7) -> (rule6 % int2)) triple3) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((((triple3 triple6) -> (rule4 % int3)) triple7) -> (rule6 % int2)) triple3) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
((triple1 triple6) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((((triple4) -> (rule5 % int2)) triple6) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple6 triple4) -> (rule7 % int2)) triple6) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
((triple1) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((triple3 triple6) -> (rule4 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((((triple5 triple3) -> (rule8 % int2))) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple1 triple6) -> (rule2 % int2)) triple6) -> (rule4 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
triple5
((triple4 triple7) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((triple4 ((triple4 triple1) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((((triple1) -> (rule3 % int2)) triple7) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((triple3 triple6) -> (rule4 % int2)) triple7) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((triple1) -> (rule3 % int3)) ((triple4 triple1) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple3 triple6) -> (rule4 % int3)) ((triple4 triple1) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((triple4 ((triple4 ((triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((triple4 ((triple4 ((triple6 triple4) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((triple4 ((((triple1) -> (rule3 % int3)) triple1) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((triple4 ((((triple3 triple6) -> (rule4 % int3)) triple1) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple1 triple6) -> (rule2 % int3)) triple6) -> (rule4 % int2)) triple7) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((triple4 ((((triple1) -> (rule3 % int4)) ((triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((triple4 ((((triple1) -> (rule3 % int4)) ((triple6 triple4) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((triple4 ((((triple3 triple6) -> (rule4 % int4)) ((triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((triple4 ((((triple3 triple6) -> (rule4 % int4)) ((triple6 triple4) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple1) -> (rule3 % int4)) ((triple4 ((triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple1) -> (rule3 % int4)) ((triple4 ((triple6 triple4) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple1) -> (rule3 % int3)) ((((triple1) -> (rule3 % int3)) triple1) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple1) -> (rule3 % int3)) ((((triple3 triple6) -> (rule4 % int3)) triple1) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple3 triple6) -> (rule4 % int4)) ((triple4 ((triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple3 triple6) -> (rule4 % int4)) ((triple4 ((triple6 triple4) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple3 triple6) -> (rule4 % int3)) ((((triple1) -> (rule3 % int3)) triple1) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple3 triple6) -> (rule4 % int3)) ((((triple3 triple6) -> (rule4 % int3)) triple1) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple1 triple6) -> (rule2 % int4)) triple6) -> (rule4 % int3)) ((triple4 triple1) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple1) -> (rule3 % int4)) ((((triple1) -> (rule3 % int4)) ((triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple1) -> (rule3 % int4)) ((((triple1) -> (rule3 % int4)) ((triple6 triple4) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple1) -> (rule3 % int4)) ((((triple3 triple6) -> (rule4 % int4)) ((triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple1) -> (rule3 % int4)) ((((triple3 triple6) -> (rule4 % int4)) ((triple6 triple4) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple3 triple6) -> (rule4 % int4)) ((((triple1) -> (rule3 % int4)) ((triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple3 triple6) -> (rule4 % int4)) ((((triple1) -> (rule3 % int4)) ((triple6 triple4) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple3 triple6) -> (rule4 % int4)) ((((triple3 triple6) -> (rule4 % int4)) ((triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple3 triple6) -> (rule4 % int4)) ((((triple3 triple6) -> (rule4 % int4)) ((triple6 triple4) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple1 triple6) -> (rule2 % int5)) triple6) -> (rule4 % int4)) ((triple4 ((triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((triple1 triple6) -> (rule2 % int5)) triple6) -> (rule4 % int4)) ((triple4 ((triple6 triple4) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((triple1 triple6) -> (rule2 % int4)) triple6) -> (rule4 % int3)) ((((triple1) -> (rule3 % int3)) triple1) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple1 triple6) -> (rule2 % int4)) triple6) -> (rule4 % int3)) ((((triple3 triple6) -> (rule4 % int3)) triple1) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple1 triple6) -> (rule2 % int5)) triple6) -> (rule4 % int4)) ((((triple1) -> (rule3 % int4)) ((triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((triple1 triple6) -> (rule2 % int5)) triple6) -> (rule4 % int4)) ((((triple1) -> (rule3 % int4)) ((triple6 triple4) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((triple1 triple6) -> (rule2 % int5)) triple6) -> (rule4 % int4)) ((((triple3 triple6) -> (rule4 % int4)) ((triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((triple1 triple6) -> (rule2 % int5)) triple6) -> (rule4 % int4)) ((((triple3 triple6) -> (rule4 % int4)) ((triple6 triple4) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((triple4 ((triple4 ((((triple3 triple6) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((triple4 ((triple4 ((triple6 ((triple3 triple6) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((triple4 ((((((triple1 triple6) -> (rule2 % int4)) triple6) -> (rule4 % int3)) triple1) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((triple4 ((((triple1) -> (rule3 % int4)) ((((triple3 triple6) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((triple4 ((((triple1) -> (rule3 % int4)) ((triple6 ((triple3 triple6) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((triple4 ((((triple3 triple6) -> (rule4 % int4)) ((((triple3 triple6) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((triple4 ((((triple3 triple6) -> (rule4 % int4)) ((triple6 ((triple3 triple6) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((triple4 ((((((triple1 triple6) -> (rule2 % int5)) triple6) -> (rule4 % int4)) ((triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((triple4 ((((((triple1 triple6) -> (rule2 % int5)) triple6) -> (rule4 % int4)) ((triple6 triple4) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple1) -> (rule3 % int4)) ((triple4 ((((triple3 triple6) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple1) -> (rule3 % int4)) ((triple4 ((triple6 ((triple3 triple6) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple1) -> (rule3 % int4)) ((((((triple1 triple6) -> (rule2 % int3)) triple6) -> (rule4 % int4)) triple1) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple3 triple6) -> (rule4 % int4)) ((triple4 ((((triple3 triple6) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple3 triple6) -> (rule4 % int4)) ((triple4 ((triple6 ((triple3 triple6) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple3 triple6) -> (rule4 % int4)) ((((((triple1 triple6) -> (rule2 % int3)) triple6) -> (rule4 % int4)) triple1) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((triple4 ((((((triple1 triple6) -> (rule2 % int5)) triple6) -> (rule4 % int4)) ((((triple3 triple6) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((triple4 ((((((triple1 triple6) -> (rule2 % int5)) triple6) -> (rule4 % int4)) ((triple6 ((triple3 triple6) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple1) -> (rule3 % int4)) ((((triple1) -> (rule3 % int4)) ((((triple3 triple6) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple1) -> (rule3 % int4)) ((((triple1) -> (rule3 % int4)) ((triple6 ((triple3 triple6) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple1) -> (rule3 % int4)) ((((triple3 triple6) -> (rule4 % int4)) ((((triple3 triple6) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple1) -> (rule3 % int4)) ((((triple3 triple6) -> (rule4 % int4)) ((triple6 ((triple3 triple6) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple1) -> (rule3 % int5)) ((((((triple1 triple6) -> (rule2 % int4)) triple6) -> (rule4 % int5)) ((triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((triple1) -> (rule3 % int5)) ((((((triple1 triple6) -> (rule2 % int4)) triple6) -> (rule4 % int5)) ((triple6 triple4) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((triple3 triple6) -> (rule4 % int4)) ((((triple1) -> (rule3 % int4)) ((((triple3 triple6) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple3 triple6) -> (rule4 % int4)) ((((triple1) -> (rule3 % int4)) ((triple6 ((triple3 triple6) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple3 triple6) -> (rule4 % int4)) ((((triple3 triple6) -> (rule4 % int4)) ((((triple3 triple6) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple3 triple6) -> (rule4 % int4)) ((((triple3 triple6) -> (rule4 % int4)) ((triple6 ((triple3 triple6) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple3 triple6) -> (rule4 % int5)) ((((((triple1 triple6) -> (rule2 % int4)) triple6) -> (rule4 % int5)) ((triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((triple3 triple6) -> (rule4 % int5)) ((((((triple1 triple6) -> (rule2 % int4)) triple6) -> (rule4 % int5)) ((triple6 triple4) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((triple1 triple6) -> (rule2 % int5)) triple6) -> (rule4 % int4)) ((triple4 ((((triple3 triple6) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((triple1 triple6) -> (rule2 % int5)) triple6) -> (rule4 % int4)) ((triple4 ((triple6 ((triple3 triple6) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((triple1 triple6) -> (rule2 % int4)) triple6) -> (rule4 % int3)) ((((((triple1 triple6) -> (rule2 % int4)) triple6) -> (rule4 % int3)) triple1) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple1) -> (rule3 % int5)) ((((((triple1 triple6) -> (rule2 % int4)) triple6) -> (rule4 % int5)) ((((triple3 triple6) -> (rule4 % int5))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((triple1) -> (rule3 % int5)) ((((((triple1 triple6) -> (rule2 % int4)) triple6) -> (rule4 % int5)) ((triple6 ((triple3 triple6) -> (rule4 % int5))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((triple3 triple6) -> (rule4 % int5)) ((((((triple1 triple6) -> (rule2 % int4)) triple6) -> (rule4 % int5)) ((((triple3 triple6) -> (rule4 % int5))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((triple3 triple6) -> (rule4 % int5)) ((((((triple1 triple6) -> (rule2 % int4)) triple6) -> (rule4 % int5)) ((triple6 ((triple3 triple6) -> (rule4 % int5))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((triple1 triple6) -> (rule2 % int5)) triple6) -> (rule4 % int4)) ((((triple1) -> (rule3 % int4)) ((((triple3 triple6) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((triple1 triple6) -> (rule2 % int5)) triple6) -> (rule4 % int4)) ((((triple1) -> (rule3 % int4)) ((triple6 ((triple3 triple6) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((triple1 triple6) -> (rule2 % int5)) triple6) -> (rule4 % int4)) ((((triple3 triple6) -> (rule4 % int4)) ((((triple3 triple6) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((triple1 triple6) -> (rule2 % int5)) triple6) -> (rule4 % int4)) ((((triple3 triple6) -> (rule4 % int4)) ((triple6 ((triple3 triple6) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((triple1 triple6) -> (rule2 % int5)) triple6) -> (rule4 % int4)) ((((((triple1 triple6) -> (rule2 % int5)) triple6) -> (rule4 % int4)) ((triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((triple1 triple6) -> (rule2 % int5)) triple6) -> (rule4 % int4)) ((((((triple1 triple6) -> (rule2 % int5)) triple6) -> (rule4 % int4)) ((triple6 triple4) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((triple1 triple6) -> (rule2 % int5)) triple6) -> (rule4 % int4)) ((((((triple1 triple6) -> (rule2 % int5)) triple6) -> (rule4 % int4)) ((((triple3 triple6) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((triple1 triple6) -> (rule2 % int5)) triple6) -> (rule4 % int4)) ((((((triple1 triple6) -> (rule2 % int5)) triple6) -> (rule4 % int4)) ((triple6 ((triple3 triple6) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
triple6
Bob is white.
("Bob" "is" "white" "+")
triple7
((triple4 triple1) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((triple4 ((triple4) -> (rule5 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((triple4 ((triple5 triple3) -> (rule8 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((triple4 ((triple6 triple4) -> (rule7 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple1) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((triple3 triple6) -> (rule4 % int2)) triple1) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((triple1) -> (rule3 % int3)) ((triple4) -> (rule5 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple1) -> (rule3 % int3)) ((triple5 triple3) -> (rule8 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple1) -> (rule3 % int3)) ((triple6 triple4) -> (rule7 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple3 triple6) -> (rule4 % int3)) ((triple4) -> (rule5 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple3 triple6) -> (rule4 % int3)) ((triple5 triple3) -> (rule8 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple3 triple6) -> (rule4 % int3)) ((triple6 triple4) -> (rule7 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((triple4 ((((triple3 triple6) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((triple4 ((triple6 ((triple3 triple6) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple5 triple3) -> (rule8 % int3))) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple1 triple6) -> (rule2 % int3)) triple6) -> (rule4 % int2)) triple1) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple1) -> (rule3 % int3)) ((((triple3 triple6) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple1) -> (rule3 % int3)) ((triple6 ((triple3 triple6) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple5 triple3) -> (rule8 % int3))) -> (rule3 % int2)) ((triple4) -> (rule5 % int3))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple5 triple3) -> (rule8 % int3))) -> (rule3 % int2)) ((triple5 triple3) -> (rule8 % int3))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple5 triple3) -> (rule8 % int3))) -> (rule3 % int2)) ((triple6 triple4) -> (rule7 % int3))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((triple3 triple6) -> (rule4 % int3)) ((((triple3 triple6) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple3 triple6) -> (rule4 % int3)) ((triple6 ((triple3 triple6) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple1 triple6) -> (rule2 % int4)) triple6) -> (rule4 % int3)) ((triple4) -> (rule5 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple1 triple6) -> (rule2 % int4)) triple6) -> (rule4 % int3)) ((triple5 triple3) -> (rule8 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple1 triple6) -> (rule2 % int4)) triple6) -> (rule4 % int3)) ((triple6 triple4) -> (rule7 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple5 triple3) -> (rule8 % int3))) -> (rule3 % int2)) ((((triple3 triple6) -> (rule4 % int2))) -> (rule5 % int3))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple5 triple3) -> (rule8 % int3))) -> (rule3 % int2)) ((triple6 ((triple3 triple6) -> (rule4 % int2))) -> (rule7 % int3))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple1 triple6) -> (rule2 % int4)) triple6) -> (rule4 % int3)) ((((triple3 triple6) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple1 triple6) -> (rule2 % int4)) triple6) -> (rule4 % int3)) ((triple6 ((triple3 triple6) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
triple8
((triple12 triple10) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((((triple11 triple14) -> (rule6 % int2)) triple10) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((((triple10 triple13) -> (rule4 % int3)) triple14) -> (rule6 % int2)) triple10) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
triple9
Erin is kind.
("Erin" "is" "kind" "+")
triple10
((triple8 triple13) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple11
((triple8) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((triple10 triple13) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((((triple12 triple10) -> (rule8 % int2))) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple8 triple13) -> (rule2 % int2)) triple13) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
triple12
((triple11 triple14) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((triple11 ((triple11 triple8) -> (rule1 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple8) -> (rule3 % int2)) triple14) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple10 triple13) -> (rule4 % int2)) triple14) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple8) -> (rule3 % int3)) ((triple11 triple8) -> (rule1 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((triple10 triple13) -> (rule4 % int3)) ((triple11 triple8) -> (rule1 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((triple11 ((((triple8) -> (rule3 % int3)) triple8) -> (rule1 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((triple11 ((((triple10 triple13) -> (rule4 % int3)) triple8) -> (rule1 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((((triple8 triple13) -> (rule2 % int3)) triple13) -> (rule4 % int2)) triple14) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((triple8) -> (rule3 % int3)) ((((triple8) -> (rule3 % int3)) triple8) -> (rule1 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((triple8) -> (rule3 % int3)) ((((triple10 triple13) -> (rule4 % int3)) triple8) -> (rule1 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((triple10 triple13) -> (rule4 % int3)) ((((triple8) -> (rule3 % int3)) triple8) -> (rule1 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((triple10 triple13) -> (rule4 % int3)) ((((triple10 triple13) -> (rule4 % int3)) triple8) -> (rule1 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((((triple8 triple13) -> (rule2 % int4)) triple13) -> (rule4 % int3)) ((triple11 triple8) -> (rule1 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((triple8 triple13) -> (rule2 % int4)) triple13) -> (rule4 % int3)) ((((triple8) -> (rule3 % int3)) triple8) -> (rule1 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((triple8 triple13) -> (rule2 % int4)) triple13) -> (rule4 % int3)) ((((triple10 triple13) -> (rule4 % int3)) triple8) -> (rule1 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((triple11 ((((((triple8 triple13) -> (rule2 % int4)) triple13) -> (rule4 % int3)) triple8) -> (rule1 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((triple8) -> (rule3 % int4)) ((((((triple8 triple13) -> (rule2 % int3)) triple13) -> (rule4 % int4)) triple8) -> (rule1 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((triple10 triple13) -> (rule4 % int4)) ((((((triple8 triple13) -> (rule2 % int3)) triple13) -> (rule4 % int4)) triple8) -> (rule1 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8 triple13) -> (rule2 % int4)) triple13) -> (rule4 % int3)) ((((((triple8 triple13) -> (rule2 % int4)) triple13) -> (rule4 % int3)) triple8) -> (rule1 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
triple13
Erin is white.
("Erin" "is" "white" "+")
triple14
((triple11 triple8) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple11 ((triple12 triple10) -> (rule8 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple8) -> (rule3 % int2)) triple8) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple10 triple13) -> (rule4 % int2)) triple8) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple8) -> (rule3 % int3)) ((triple12 triple10) -> (rule8 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((triple10 triple13) -> (rule4 % int3)) ((triple12 triple10) -> (rule8 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((((triple12 triple10) -> (rule8 % int3))) -> (rule3 % int2)) triple8) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple8 triple13) -> (rule2 % int3)) triple13) -> (rule4 % int2)) triple8) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((((triple12 triple10) -> (rule8 % int3))) -> (rule3 % int2)) ((triple12 triple10) -> (rule8 % int3))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple8 triple13) -> (rule2 % int4)) triple13) -> (rule4 % int3)) ((triple12 triple10) -> (rule8 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4