Bob is cold. Bob is furry. Bob is green. Bob is red. Bob is smart. Bob is young. Charlie is cold. Charlie is red. Charlie is rough. Erin is cold. Erin is rough. Erin is smart. Erin is young. Fiona is green. Fiona is red. Fiona is young. Rough, smart things are furry. If something is smart then it is young. Red, rough things are smart. All red things are rough. If Bob is rough then Bob is young. If something is green then it is rough. Cold, young things are rough. If something is rough then it is young.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Rough, smart things are furry.
((("something" "is" "rough" "+") ("something" "is" "smart" "+")) -> ("something" "is" "furry" "+"))
If something is smart then it is young.
((("something" "is" "smart" "+")) -> ("something" "is" "young" "+"))
Red, rough things are smart.
((("something" "is" "red" "+") ("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
All red things are rough.
((("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
If Bob is rough then Bob is young.
((("Bob" "is" "rough" "+")) -> ("Bob" "is" "young" "+"))
If something is green then it is rough.
((("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
Cold, young things are rough.
((("something" "is" "cold" "+") ("something" "is" "young" "+")) -> ("something" "is" "rough" "+"))
If something is rough then it is young.
((("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
Erin is young.
True
1
proof
[(triple13 OR ((triple11) -> rule8) OR ((triple12) -> rule2))]
("Erin" "is" "young" "+")
triple13
((triple11) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple12) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Bob is not smart.
False
1
inv-proof
[(triple5 OR ((triple4 ((triple3) -> rule6)) -> rule3) OR ((triple4 ((triple4) -> rule4)) -> rule3) OR ((triple4 ((triple1 triple6) -> rule7)) -> rule3))]
("Bob" "is" "smart" "-")
triple5
((triple4 ((triple3) -> (rule6 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((triple4 ((triple4) -> (rule4 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((triple4 ((triple1 triple6) -> (rule7 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Fiona is rough.
True
2
proof
[(((triple14) -> rule6) OR ((triple15) -> rule4))]
("Fiona" "is" "rough" "+")
((triple14) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple15) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Charlie is not young.
False
2
inv-proof
[(((triple9) -> rule8) OR ((((triple8) -> rule4)) -> rule8) OR ((((triple8 triple9) -> rule3)) -> rule2) OR ((((triple8 ((triple8) -> rule4)) -> rule3)) -> rule2))]
("Charlie" "is" "young" "-")
((triple9) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((triple8) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple8 triple9) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple8 ((triple8) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is furry.
True
5
proof
[(((triple9 ((triple8 triple9) -> rule3)) -> rule1) OR ((((triple8) -> rule4) ((triple8 triple9) -> rule3)) -> rule1) OR ((triple9 ((triple8 ((triple8) -> rule4)) -> rule3)) -> rule1) OR ((((triple8) -> rule4) ((triple8 ((triple8) -> rule4)) -> rule3)) -> rule1))]
("Charlie" "is" "furry" "+")
((triple9 ((triple8 triple9) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple8) -> (rule4 % int3)) ((triple8 triple9) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((triple9 ((triple8 ((triple8) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((triple8) -> (rule4 % int3)) ((triple8 ((triple8) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is not furry.
False
5
inv-proof
[(((triple9 ((triple8 triple9) -> rule3)) -> rule1) OR ((((triple8) -> rule4) ((triple8 triple9) -> rule3)) -> rule1) OR ((triple9 ((triple8 ((triple8) -> rule4)) -> rule3)) -> rule1) OR ((((triple8) -> rule4) ((triple8 ((triple8) -> rule4)) -> rule3)) -> rule1))]
("Charlie" "is" "furry" "-")
((triple9 ((triple8 triple9) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple8) -> (rule4 % int3)) ((triple8 triple9) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((triple9 ((triple8 ((triple8) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((triple8) -> (rule4 % int3)) ((triple8 ((triple8) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Fiona is furry.
True
7
proof
[(((((triple14) -> rule6) ((triple15 ((triple14) -> rule6)) -> rule3)) -> rule1) OR ((((triple14) -> rule6) ((triple15 ((triple15) -> rule4)) -> rule3)) -> rule1) OR ((((triple15) -> rule4) ((triple15 ((triple14) -> rule6)) -> rule3)) -> rule1) OR ((((triple15) -> rule4) ((triple15 ((triple15) -> rule4)) -> rule3)) -> rule1))]
("Fiona" "is" "furry" "+")
((((triple14) -> (rule6 % int3)) ((triple15 ((triple14) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple14) -> (rule6 % int3)) ((triple15 ((triple15) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple15) -> (rule4 % int3)) ((triple15 ((triple14) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple15) -> (rule4 % int3)) ((triple15 ((triple15) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is not furry.
False
7
inv-proof
[(((((triple14) -> rule6) ((triple15 ((triple14) -> rule6)) -> rule3)) -> rule1) OR ((((triple14) -> rule6) ((triple15 ((triple15) -> rule4)) -> rule3)) -> rule1) OR ((((triple15) -> rule4) ((triple15 ((triple14) -> rule6)) -> rule3)) -> rule1) OR ((((triple15) -> rule4) ((triple15 ((triple15) -> rule4)) -> rule3)) -> rule1))]
("Fiona" "is" "furry" "-")
((((triple14) -> (rule6 % int3)) ((triple15 ((triple14) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple14) -> (rule6 % int3)) ((triple15 ((triple15) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple15) -> (rule4 % int3)) ((triple15 ((triple14) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple15) -> (rule4 % int3)) ((triple15 ((triple15) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Erin is not green.
Unknown
inv-random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
Erin is not red.
Unknown
inv-random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((((triple3) -> rule6) triple5) -> rule1) OR ((((triple4) -> rule4) triple5) -> rule1) OR ((((triple1 triple6) -> rule7) triple5) -> rule1) OR ((((triple1 ((triple5) -> rule2)) -> rule7) triple5) -> rule1) OR ((((triple3) -> rule6) ((triple4 ((triple3) -> rule6)) -> rule3)) -> rule1) OR ((((triple3) -> rule6) ((triple4 ((triple4) -> rule4)) -> rule3)) -> rule1) OR ((((triple3) -> rule6) ((triple4 ((triple1 triple6) -> rule7)) -> rule3)) -> rule1) OR ((((triple4) -> rule4) ((triple4 ((triple3) -> rule6)) -> rule3)) -> rule1) OR ((((triple4) -> rule4) ((triple4 ((triple4) -> rule4)) -> rule3)) -> rule1) OR ((((triple4) -> rule4) ((triple4 ((triple1 triple6) -> rule7)) -> rule3)) -> rule1) OR ((((triple1 triple6) -> rule7) ((triple4 ((triple3) -> rule6)) -> rule3)) -> rule1) OR ((((triple1 triple6) -> rule7) ((triple4 ((triple4) -> rule4)) -> rule3)) -> rule1) OR ((((triple1 triple6) -> rule7) ((triple4 ((triple1 triple6) -> rule7)) -> rule3)) -> rule1) OR ((((triple1 ((triple5) -> rule2)) -> rule7) ((triple4 ((triple3) -> rule6)) -> rule3)) -> rule1) OR ((((triple1 ((triple5) -> rule2)) -> rule7) ((triple4 ((triple4) -> rule4)) -> rule3)) -> rule1) OR ((((triple1 ((triple5) -> rule2)) -> rule7) ((triple4 ((triple1 triple6) -> rule7)) -> rule3)) -> rule1))] Bob is green.[(triple3)] Bob is red.[(triple4)] Bob is smart.[(triple5 OR ((triple4 ((triple3) -> rule6)) -> rule3) OR ((triple4 ((triple4) -> rule4)) -> rule3) OR ((triple4 ((triple1 triple6) -> rule7)) -> rule3))] Bob is young.[(triple6 OR ((triple5) -> rule2) OR ((((triple3) -> rule6)) -> rule5) OR ((((triple3) -> rule6)) -> rule8) OR ((((triple4) -> rule4)) -> rule5) OR ((((triple4) -> rule4)) -> rule8) OR ((((triple4 ((triple3) -> rule6)) -> rule3)) -> rule2) OR ((((triple4 ((triple4) -> rule4)) -> rule3)) -> rule2))] Charlie is cold.[(triple7)] Charlie is red.[(triple8)] Charlie is rough.[(triple9 OR ((triple8) -> rule4))] Erin is cold.[(triple10)] Erin is rough.[(triple11 OR ((triple10 triple13) -> rule7) OR ((triple10 ((triple12) -> rule2)) -> rule7))] Erin is smart.[(triple12)] Erin is young.[(triple13 OR ((triple11) -> rule8) OR ((triple12) -> rule2))] Fiona is green.[(triple14)] Fiona is red.[(triple15)] Fiona is young.[(triple16 OR ((((triple14) -> rule6)) -> rule8) OR ((((triple15) -> rule4)) -> rule8) OR ((((triple15 ((triple14) -> rule6)) -> rule3)) -> rule2) OR ((((triple15 ((triple15) -> rule4)) -> rule3)) -> rule2))] @1: Bob is rough.[(((triple3) -> rule6) OR ((triple4) -> rule4) OR ((triple1 triple6) -> rule7) OR ((triple1 ((triple5) -> rule2)) -> rule7))] Charlie is smart.[(((triple8 triple9) -> rule3) OR ((triple8 ((triple8) -> rule4)) -> rule3))] Charlie is young.[(((triple9) -> rule8) OR ((((triple8) -> rule4)) -> rule8) OR ((((triple8 triple9) -> rule3)) -> rule2) OR ((((triple8 ((triple8) -> rule4)) -> rule3)) -> rule2))] Erin is furry.[(((triple11 triple12) -> rule1) OR ((((triple10 triple13) -> rule7) triple12) -> rule1) OR ((((triple10 ((triple12) -> rule2)) -> rule7) triple12) -> rule1))] Fiona is rough.[(((triple14) -> rule6) OR ((triple15) -> rule4))] @2: Charlie is furry.[(((triple9 ((triple8 triple9) -> rule3)) -> rule1) OR ((((triple8) -> rule4) ((triple8 triple9) -> rule3)) -> rule1) OR ((triple9 ((triple8 ((triple8) -> rule4)) -> rule3)) -> rule1) OR ((((triple8) -> rule4) ((triple8 ((triple8) -> rule4)) -> rule3)) -> rule1))] Fiona is smart.[(((triple15 ((triple14) -> rule6)) -> rule3) OR ((triple15 ((triple15) -> rule4)) -> rule3))] @3: Fiona is furry.[(((((triple14) -> rule6) ((triple15 ((triple14) -> rule6)) -> rule3)) -> rule1) OR ((((triple14) -> rule6) ((triple15 ((triple15) -> rule4)) -> rule3)) -> rule1) OR ((((triple15) -> rule4) ((triple15 ((triple14) -> rule6)) -> rule3)) -> rule1) OR ((((triple15) -> rule4) ((triple15 ((triple15) -> rule4)) -> rule3)) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
((((triple3) -> (rule6 % int2)) triple5) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((triple4) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((triple1 triple6) -> (rule7 % int2)) triple5) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((triple1 ((triple5) -> (rule2 % int3))) -> (rule7 % int2)) triple5) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple3) -> (rule6 % int3)) ((triple4 ((triple3) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple3) -> (rule6 % int3)) ((triple4 ((triple4) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple3) -> (rule6 % int3)) ((triple4 ((triple1 triple6) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple4) -> (rule4 % int3)) ((triple4 ((triple3) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple4) -> (rule4 % int3)) ((triple4 ((triple4) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple4) -> (rule4 % int3)) ((triple4 ((triple1 triple6) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple1 triple6) -> (rule7 % int3)) ((triple4 ((triple3) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple1 triple6) -> (rule7 % int3)) ((triple4 ((triple4) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple1 triple6) -> (rule7 % int3)) ((triple4 ((triple1 triple6) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple1 ((triple5) -> (rule2 % int4))) -> (rule7 % int3)) ((triple4 ((triple3) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple1 ((triple5) -> (rule2 % int4))) -> (rule7 % int3)) ((triple4 ((triple4) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple1 ((triple5) -> (rule2 % int4))) -> (rule7 % int3)) ((triple4 ((triple1 triple6) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is smart.
("Bob" "is" "smart" "+")
triple5
((triple4 ((triple3) -> (rule6 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((triple4 ((triple4) -> (rule4 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((triple4 ((triple1 triple6) -> (rule7 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
triple6
((triple5) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((triple3) -> (rule6 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((triple3) -> (rule6 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((triple4) -> (rule4 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((triple4) -> (rule4 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((triple4 ((triple3) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple4 ((triple4) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
triple8
Charlie is rough.
("Charlie" "is" "rough" "+")
triple9
((triple8) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
triple10
Erin is rough.
("Erin" "is" "rough" "+")
triple11
((triple10 triple13) -> (rule7 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((triple10 ((triple12) -> (rule2 % int2))) -> (rule7 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
triple12
Erin is young.
("Erin" "is" "young" "+")
triple13
((triple11) -> (rule8 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple12) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple14
Fiona is red.
("Fiona" "is" "red" "+")
triple15
Fiona is young.
("Fiona" "is" "young" "+")
triple16
((((triple14) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple15) -> (rule4 % int2))) -> (rule8 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple15 ((triple14) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple15 ((triple15) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
((triple3) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((triple4) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((triple1 triple6) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((triple1 ((triple5) -> (rule2 % int2))) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple8 triple9) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((triple8 ((triple8) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((triple9) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((triple8) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple8 triple9) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple8 ((triple8) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
((triple11 triple12) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple10 triple13) -> (rule7 % int2)) triple12) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((triple10 ((triple12) -> (rule2 % int3))) -> (rule7 % int2)) triple12) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple14) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple15) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple9 ((triple8 triple9) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple8) -> (rule4 % int3)) ((triple8 triple9) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((triple9 ((triple8 ((triple8) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((triple8) -> (rule4 % int3)) ((triple8 ((triple8) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple15 ((triple14) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((triple15 ((triple15) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple14) -> (rule6 % int3)) ((triple15 ((triple14) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple14) -> (rule6 % int3)) ((triple15 ((triple15) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple15) -> (rule4 % int3)) ((triple15 ((triple14) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple15) -> (rule4 % int3)) ((triple15 ((triple15) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3