Bob is green. Bob is red. Bob is smart. Erin is furry. Erin is green. Erin is red. Erin is rough. Erin is smart. Erin is white. Erin is young. All red, rough things are young. All green things are smart. All red, rough things are green. If something is rough then it is smart. Green, rough things are white. If something is red and green then it is rough. Young, rough things are red. All white, smart things are red.
Bob is green.
("Bob" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
All red, rough things are young.
((("something" "is" "red" "+") ("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
All green things are smart.
((("something" "is" "green" "+")) -> ("something" "is" "smart" "+"))
All red, rough things are green.
((("something" "is" "red" "+") ("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
If something is rough then it is smart.
((("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
Green, rough things are white.
((("something" "is" "green" "+") ("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
If something is red and green then it is rough.
((("something" "is" "red" "+") ("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
Young, rough things are red.
((("something" "is" "young" "+") ("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
All white, smart things are red.
((("something" "is" "white" "+") ("something" "is" "smart" "+")) -> ("something" "is" "red" "+"))
Bob is red.
True
1
proof
[(triple2)]
("Bob" "is" "red" "+")
triple2
Erin is not rough.
False
1
inv-proof
[(triple7 OR ((triple6 triple5) -> rule6) OR ((((triple9 triple8) -> rule8) triple5) -> rule6) OR ((((triple9 ((triple5) -> rule2)) -> rule8) triple5) -> rule6))]
("Erin" "is" "rough" "-")
triple7
((triple6 triple5) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((((triple9 triple8) -> (rule8 % int2)) triple5) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple9 ((triple5) -> (rule2 % int3))) -> (rule8 % int2)) triple5) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Bob is rough.
True
3
proof
[(((triple2 triple1) -> rule6))]
("Bob" "is" "rough" "+")
((triple2 triple1) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not rough.
False
3
inv-proof
[(((triple2 triple1) -> rule6))]
("Bob" "is" "rough" "-")
((triple2 triple1) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
True
5
proof
[(((triple2 ((triple2 triple1) -> rule6)) -> rule1))]
("Bob" "is" "young" "+")
((triple2 ((triple2 triple1) -> (rule6 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is not young.
False
5
inv-proof
[(((triple2 ((triple2 triple1) -> rule6)) -> rule1))]
("Bob" "is" "young" "-")
((triple2 ((triple2 triple1) -> (rule6 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
@0: Bob is green.[(triple1)] Bob is red.[(triple2)] Bob is smart.[(triple3 OR ((triple1) -> rule2) OR ((((triple2 triple1) -> rule6)) -> rule4))] Erin is furry.[(triple4)] Erin is green.[(triple5 OR ((triple6 triple7) -> rule3) OR ((((triple10 triple7) -> rule7) triple7) -> rule3) OR ((((triple9 triple8) -> rule8) triple7) -> rule3) OR ((((triple9 ((triple7) -> rule4)) -> rule8) triple7) -> rule3))] Erin is red.[(triple6 OR ((triple10 triple7) -> rule7) OR ((triple9 triple8) -> rule8) OR ((triple9 ((triple5) -> rule2)) -> rule8) OR ((triple9 ((triple7) -> rule4)) -> rule8) OR ((((triple5 triple7) -> rule5) triple8) -> rule8) OR ((((triple5 triple7) -> rule5) ((triple5) -> rule2)) -> rule8) OR ((((triple5 triple7) -> rule5) ((triple7) -> rule4)) -> rule8))] Erin is rough.[(triple7 OR ((triple6 triple5) -> rule6) OR ((((triple9 triple8) -> rule8) triple5) -> rule6) OR ((((triple9 ((triple5) -> rule2)) -> rule8) triple5) -> rule6))] Erin is smart.[(triple8 OR ((triple5) -> rule2) OR ((triple7) -> rule4) OR ((((triple6 triple5) -> rule6)) -> rule4) OR ((((triple6 triple7) -> rule3)) -> rule2) OR ((((((triple10 triple7) -> rule7) triple7) -> rule3)) -> rule2))] Erin is white.[(triple9 OR ((triple5 triple7) -> rule5) OR ((triple5 ((triple6 triple5) -> rule6)) -> rule5) OR ((((triple6 triple7) -> rule3) triple7) -> rule5) OR ((((triple6 triple7) -> rule3) ((triple6 triple5) -> rule6)) -> rule5) OR ((((((triple10 triple7) -> rule7) triple7) -> rule3) triple7) -> rule5) OR ((((((triple10 triple7) -> rule7) triple7) -> rule3) ((triple6 triple5) -> rule6)) -> rule5))] Erin is young.[(triple10 OR ((triple6 triple7) -> rule1) OR ((triple6 ((triple6 triple5) -> rule6)) -> rule1) OR ((((triple9 triple8) -> rule8) triple7) -> rule1) OR ((((triple9 triple8) -> rule8) ((triple6 triple5) -> rule6)) -> rule1) OR ((triple6 ((((triple9 triple8) -> rule8) triple5) -> rule6)) -> rule1) OR ((((triple9 ((triple5) -> rule2)) -> rule8) triple7) -> rule1) OR ((((triple9 ((triple7) -> rule4)) -> rule8) triple7) -> rule1) OR ((((((triple5 triple7) -> rule5) triple8) -> rule8) triple7) -> rule1) OR ((((triple9 triple8) -> rule8) ((((triple9 triple8) -> rule8) triple5) -> rule6)) -> rule1) OR ((((triple9 ((triple5) -> rule2)) -> rule8) ((triple6 triple5) -> rule6)) -> rule1) OR ((((triple9 ((triple7) -> rule4)) -> rule8) ((triple6 triple5) -> rule6)) -> rule1) OR ((((((triple5 triple7) -> rule5) triple8) -> rule8) ((triple6 triple5) -> rule6)) -> rule1) OR ((((((triple5 triple7) -> rule5) ((triple5) -> rule2)) -> rule8) triple7) -> rule1) OR ((((((triple5 triple7) -> rule5) ((triple7) -> rule4)) -> rule8) triple7) -> rule1) OR ((((triple9 ((triple5) -> rule2)) -> rule8) ((((triple9 triple8) -> rule8) triple5) -> rule6)) -> rule1) OR ((((triple9 ((triple7) -> rule4)) -> rule8) ((((triple9 triple8) -> rule8) triple5) -> rule6)) -> rule1) OR ((((((triple5 triple7) -> rule5) triple8) -> rule8) ((((triple9 triple8) -> rule8) triple5) -> rule6)) -> rule1) OR ((((((triple5 triple7) -> rule5) ((triple5) -> rule2)) -> rule8) ((triple6 triple5) -> rule6)) -> rule1) OR ((((((triple5 triple7) -> rule5) ((triple7) -> rule4)) -> rule8) ((triple6 triple5) -> rule6)) -> rule1) OR ((((((triple5 triple7) -> rule5) ((triple5) -> rule2)) -> rule8) ((((triple9 triple8) -> rule8) triple5) -> rule6)) -> rule1) OR ((((((triple5 triple7) -> rule5) ((triple7) -> rule4)) -> rule8) ((((triple9 triple8) -> rule8) triple5) -> rule6)) -> rule1) OR ((triple6 ((((triple9 ((triple5) -> rule2)) -> rule8) triple5) -> rule6)) -> rule1) OR ((((triple9 triple8) -> rule8) ((((triple9 ((triple5) -> rule2)) -> rule8) triple5) -> rule6)) -> rule1) OR ((((triple9 ((triple5) -> rule2)) -> rule8) ((((triple9 ((triple5) -> rule2)) -> rule8) triple5) -> rule6)) -> rule1) OR ((((triple9 ((triple7) -> rule4)) -> rule8) ((((triple9 ((triple5) -> rule2)) -> rule8) triple5) -> rule6)) -> rule1) OR ((((((triple5 triple7) -> rule5) triple8) -> rule8) ((((triple9 ((triple5) -> rule2)) -> rule8) triple5) -> rule6)) -> rule1) OR ((((((triple5 triple7) -> rule5) ((triple5) -> rule2)) -> rule8) ((((triple9 ((triple5) -> rule2)) -> rule8) triple5) -> rule6)) -> rule1) OR ((((((triple5 triple7) -> rule5) ((triple7) -> rule4)) -> rule8) ((((triple9 ((triple5) -> rule2)) -> rule8) triple5) -> rule6)) -> rule1))] @1: Bob is rough.[(((triple2 triple1) -> rule6))] @2: Bob is white.[(((triple1 ((triple2 triple1) -> rule6)) -> rule5))] Bob is young.[(((triple2 ((triple2 triple1) -> rule6)) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
triple3
((triple1) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((((triple2 triple1) -> (rule6 % int2))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
triple4
Erin is green.
("Erin" "is" "green" "+")
triple5
((triple6 triple7) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((triple10 triple7) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple9 triple8) -> (rule8 % int2)) triple7) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple9 ((triple7) -> (rule4 % int3))) -> (rule8 % int2)) triple7) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
triple6
((triple10 triple7) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((triple9 triple8) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((triple9 ((triple5) -> (rule2 % int2))) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((triple9 ((triple7) -> (rule4 % int2))) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple5 triple7) -> (rule5 % int2)) triple8) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple5 triple7) -> (rule5 % int3)) ((triple5) -> (rule2 % int2))) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((triple5 triple7) -> (rule5 % int3)) ((triple7) -> (rule4 % int2))) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
triple7
((triple6 triple5) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((((triple9 triple8) -> (rule8 % int2)) triple5) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple9 ((triple5) -> (rule2 % int3))) -> (rule8 % int2)) triple5) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
triple8
((triple5) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((triple7) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((((triple6 triple5) -> (rule6 % int2))) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((triple6 triple7) -> (rule3 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((((triple10 triple7) -> (rule7 % int3)) triple7) -> (rule3 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
triple9
((triple5 triple7) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple5 ((triple6 triple5) -> (rule6 % int2))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((triple6 triple7) -> (rule3 % int2)) triple7) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple6 triple7) -> (rule3 % int3)) ((triple6 triple5) -> (rule6 % int2))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((((triple10 triple7) -> (rule7 % int3)) triple7) -> (rule3 % int2)) triple7) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple10 triple7) -> (rule7 % int4)) triple7) -> (rule3 % int3)) ((triple6 triple5) -> (rule6 % int2))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
triple10
((triple6 triple7) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple6 ((triple6 triple5) -> (rule6 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((triple9 triple8) -> (rule8 % int2)) triple7) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple9 triple8) -> (rule8 % int3)) ((triple6 triple5) -> (rule6 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((triple6 ((((triple9 triple8) -> (rule8 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple9 ((triple5) -> (rule2 % int3))) -> (rule8 % int2)) triple7) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((triple9 ((triple7) -> (rule4 % int3))) -> (rule8 % int2)) triple7) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((((triple5 triple7) -> (rule5 % int3)) triple8) -> (rule8 % int2)) triple7) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((triple9 triple8) -> (rule8 % int3)) ((((triple9 triple8) -> (rule8 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple9 ((triple5) -> (rule2 % int4))) -> (rule8 % int3)) ((triple6 triple5) -> (rule6 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple9 ((triple7) -> (rule4 % int4))) -> (rule8 % int3)) ((triple6 triple5) -> (rule6 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((((triple5 triple7) -> (rule5 % int4)) triple8) -> (rule8 % int3)) ((triple6 triple5) -> (rule6 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple5 triple7) -> (rule5 % int4)) ((triple5) -> (rule2 % int3))) -> (rule8 % int2)) triple7) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple5 triple7) -> (rule5 % int4)) ((triple7) -> (rule4 % int3))) -> (rule8 % int2)) triple7) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple9 ((triple5) -> (rule2 % int4))) -> (rule8 % int3)) ((((triple9 triple8) -> (rule8 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple9 ((triple7) -> (rule4 % int4))) -> (rule8 % int3)) ((((triple9 triple8) -> (rule8 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((((triple5 triple7) -> (rule5 % int4)) triple8) -> (rule8 % int3)) ((((triple9 triple8) -> (rule8 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple5 triple7) -> (rule5 % int5)) ((triple5) -> (rule2 % int4))) -> (rule8 % int3)) ((triple6 triple5) -> (rule6 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((triple5 triple7) -> (rule5 % int5)) ((triple7) -> (rule4 % int4))) -> (rule8 % int3)) ((triple6 triple5) -> (rule6 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((triple5 triple7) -> (rule5 % int5)) ((triple5) -> (rule2 % int4))) -> (rule8 % int3)) ((((triple9 triple8) -> (rule8 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((triple5 triple7) -> (rule5 % int5)) ((triple7) -> (rule4 % int4))) -> (rule8 % int3)) ((((triple9 triple8) -> (rule8 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((triple6 ((((triple9 ((triple5) -> (rule2 % int4))) -> (rule8 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple9 triple8) -> (rule8 % int4)) ((((triple9 ((triple5) -> (rule2 % int3))) -> (rule8 % int4)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((triple9 ((triple5) -> (rule2 % int4))) -> (rule8 % int3)) ((((triple9 ((triple5) -> (rule2 % int4))) -> (rule8 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple9 ((triple7) -> (rule4 % int4))) -> (rule8 % int3)) ((((triple9 ((triple5) -> (rule2 % int4))) -> (rule8 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((((triple5 triple7) -> (rule5 % int5)) triple8) -> (rule8 % int4)) ((((triple9 ((triple5) -> (rule2 % int3))) -> (rule8 % int4)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((triple5 triple7) -> (rule5 % int5)) ((triple5) -> (rule2 % int4))) -> (rule8 % int3)) ((((triple9 ((triple5) -> (rule2 % int4))) -> (rule8 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((triple5 triple7) -> (rule5 % int5)) ((triple7) -> (rule4 % int4))) -> (rule8 % int3)) ((((triple9 ((triple5) -> (rule2 % int4))) -> (rule8 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
((triple2 triple1) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
((triple1 ((triple2 triple1) -> (rule6 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((triple2 ((triple2 triple1) -> (rule6 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2