Bob is round. Charlie is red. Charlie is round. Charlie is white. Dave is furry. Dave is green. Dave is rough. Dave is round. Dave is smart. Dave is white. Erin is round. Erin is white. All white, rough people are green. All round people are red. All rough, smart people are white. Rough people are smart. All green people are furry. If someone is round then they are rough.
Bob is round.
("Bob" "is" "round" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
All white, rough people are green.
((("someone" "is" "white" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
All round people are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
All rough, smart people are white.
((("someone" "is" "rough" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
Rough people are smart.
((("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
All green people are furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
If someone is round then they are rough.
((("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
Dave is smart.
True
1
proof
[(triple9 OR ((triple7) -> rule4) OR ((((triple8) -> rule6)) -> rule4))]
("Dave" "is" "smart" "+")
triple9
((triple7) -> (rule4 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((triple8) -> (rule6 % int2))) -> (rule4 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is not white.
False
1
inv-proof
[(triple10 OR ((triple7 triple9) -> rule3) OR ((triple7 ((triple7) -> rule4)) -> rule3) OR ((((triple8) -> rule6) triple9) -> rule3) OR ((((triple8) -> rule6) ((triple7) -> rule4)) -> rule3) OR ((triple7 ((((triple8) -> rule6)) -> rule4)) -> rule3) OR ((((triple8) -> rule6) ((((triple8) -> rule6)) -> rule4)) -> rule3))]
("Dave" "is" "white" "-")
triple10
((triple7 triple9) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((triple7 ((triple7) -> (rule4 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple8) -> (rule6 % int2)) triple9) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((triple8) -> (rule6 % int3)) ((triple7) -> (rule4 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((triple7 ((((triple8) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((triple8) -> (rule6 % int3)) ((((triple8) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Charlie is rough.
True
2
proof
[(((triple3) -> rule6))]
("Charlie" "is" "rough" "+")
((triple3) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Erin is not red.
False
2
inv-proof
[(((triple11) -> rule2))]
("Erin" "is" "red" "-")
((triple11) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
True
4
proof
[(((triple12 ((triple11) -> rule6)) -> rule1) OR ((((((triple11) -> rule6) ((((triple11) -> rule6)) -> rule4)) -> rule3) ((triple11) -> rule6)) -> rule1))]
("Erin" "is" "green" "+")
((triple12 ((triple11) -> (rule6 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((((triple11) -> (rule6 % int4)) ((((triple11) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((triple11) -> (rule6 % int4))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is not smart.
False
3
inv-proof
[(((((triple11) -> rule6)) -> rule4))]
("Erin" "is" "smart" "-")
((((triple11) -> (rule6 % int2))) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
True
5
proof
[(((((triple12 ((triple11) -> rule6)) -> rule1)) -> rule5) OR ((((((((triple11) -> rule6) ((((triple11) -> rule6)) -> rule4)) -> rule3) ((triple11) -> rule6)) -> rule1)) -> rule5))]
("Erin" "is" "furry" "+")
((((triple12 ((triple11) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((((((triple11) -> (rule6 % int5)) ((((triple11) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((triple11) -> (rule6 % int5))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
Erin is not furry.
False
5
inv-proof
[(((((triple12 ((triple11) -> rule6)) -> rule1)) -> rule5) OR ((((((((triple11) -> rule6) ((((triple11) -> rule6)) -> rule4)) -> rule3) ((triple11) -> rule6)) -> rule1)) -> rule5))]
("Erin" "is" "furry" "-")
((((triple12 ((triple11) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((((((triple11) -> (rule6 % int5)) ((((triple11) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((triple11) -> (rule6 % int5))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
Bob is green.
True
9
proof
[(((((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule4)) -> rule3) ((triple1) -> rule6)) -> rule1))]
("Bob" "is" "green" "+")
((((((triple1) -> (rule6 % int4)) ((((triple1) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((triple1) -> (rule6 % int4))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is not green.
False
9
inv-proof
[(((((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule4)) -> rule3) ((triple1) -> rule6)) -> rule1))]
("Bob" "is" "green" "-")
((((((triple1) -> (rule6 % int4)) ((((triple1) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((triple1) -> (rule6 % int4))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is furry.
True
10
proof
[(((((((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule4)) -> rule3) ((triple1) -> rule6)) -> rule1)) -> rule5))]
("Bob" "is" "furry" "+")
((((((((triple1) -> (rule6 % int5)) ((((triple1) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((triple1) -> (rule6 % int5))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is not furry.
False
10
inv-proof
[(((((((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule4)) -> rule3) ((triple1) -> rule6)) -> rule1)) -> rule5))]
("Bob" "is" "furry" "-")
((((((((triple1) -> (rule6 % int5)) ((((triple1) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((triple1) -> (rule6 % int5))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
@0: Bob is round.[(triple1)] Charlie is red.[(triple2 OR ((triple3) -> rule2))] Charlie is round.[(triple3)] Charlie is white.[(triple4 OR ((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule4)) -> rule3))] Dave is furry.[(triple5 OR ((triple6) -> rule5) OR ((((triple10 triple7) -> rule1)) -> rule5) OR ((((triple10 ((triple8) -> rule6)) -> rule1)) -> rule5) OR ((((((triple7 triple9) -> rule3) triple7) -> rule1)) -> rule5) OR ((((((triple7 triple9) -> rule3) ((triple8) -> rule6)) -> rule1)) -> rule5) OR ((((((triple7 ((triple7) -> rule4)) -> rule3) triple7) -> rule1)) -> rule5) OR ((((((((triple8) -> rule6) triple9) -> rule3) triple7) -> rule1)) -> rule5) OR ((((((triple7 ((triple7) -> rule4)) -> rule3) ((triple8) -> rule6)) -> rule1)) -> rule5) OR ((((((((triple8) -> rule6) triple9) -> rule3) ((triple8) -> rule6)) -> rule1)) -> rule5) OR ((((((((triple8) -> rule6) ((triple7) -> rule4)) -> rule3) triple7) -> rule1)) -> rule5) OR ((((((((triple8) -> rule6) ((triple7) -> rule4)) -> rule3) ((triple8) -> rule6)) -> rule1)) -> rule5) OR ((((((triple7 ((((triple8) -> rule6)) -> rule4)) -> rule3) triple7) -> rule1)) -> rule5) OR ((((((triple7 ((((triple8) -> rule6)) -> rule4)) -> rule3) ((triple8) -> rule6)) -> rule1)) -> rule5) OR ((((((((triple8) -> rule6) ((((triple8) -> rule6)) -> rule4)) -> rule3) triple7) -> rule1)) -> rule5) OR ((((((((triple8) -> rule6) ((((triple8) -> rule6)) -> rule4)) -> rule3) ((triple8) -> rule6)) -> rule1)) -> rule5))] Dave is green.[(triple6 OR ((triple10 triple7) -> rule1) OR ((triple10 ((triple8) -> rule6)) -> rule1) OR ((((triple7 triple9) -> rule3) triple7) -> rule1) OR ((((triple7 triple9) -> rule3) ((triple8) -> rule6)) -> rule1) OR ((((triple7 ((triple7) -> rule4)) -> rule3) triple7) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule3) triple7) -> rule1) OR ((((triple7 ((triple7) -> rule4)) -> rule3) ((triple8) -> rule6)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule3) ((triple8) -> rule6)) -> rule1) OR ((((((triple8) -> rule6) ((triple7) -> rule4)) -> rule3) triple7) -> rule1) OR ((((((triple8) -> rule6) ((triple7) -> rule4)) -> rule3) ((triple8) -> rule6)) -> rule1) OR ((((triple7 ((((triple8) -> rule6)) -> rule4)) -> rule3) triple7) -> rule1) OR ((((triple7 ((((triple8) -> rule6)) -> rule4)) -> rule3) ((triple8) -> rule6)) -> rule1) OR ((((((triple8) -> rule6) ((((triple8) -> rule6)) -> rule4)) -> rule3) triple7) -> rule1) OR ((((((triple8) -> rule6) ((((triple8) -> rule6)) -> rule4)) -> rule3) ((triple8) -> rule6)) -> rule1))] Dave is rough.[(triple7 OR ((triple8) -> rule6))] Dave is round.[(triple8)] Dave is smart.[(triple9 OR ((triple7) -> rule4) OR ((((triple8) -> rule6)) -> rule4))] Dave is white.[(triple10 OR ((triple7 triple9) -> rule3) OR ((triple7 ((triple7) -> rule4)) -> rule3) OR ((((triple8) -> rule6) triple9) -> rule3) OR ((((triple8) -> rule6) ((triple7) -> rule4)) -> rule3) OR ((triple7 ((((triple8) -> rule6)) -> rule4)) -> rule3) OR ((((triple8) -> rule6) ((((triple8) -> rule6)) -> rule4)) -> rule3))] Erin is round.[(triple11)] Erin is white.[(triple12 OR ((((triple11) -> rule6) ((((triple11) -> rule6)) -> rule4)) -> rule3))] @1: Bob is red.[(((triple1) -> rule2))] Bob is rough.[(((triple1) -> rule6))] Charlie is rough.[(((triple3) -> rule6))] Dave is red.[(((triple8) -> rule2))] Erin is red.[(((triple11) -> rule2))] Erin is rough.[(((triple11) -> rule6))] @2: Bob is smart.[(((((triple1) -> rule6)) -> rule4))] Charlie is green.[(((triple4 ((triple3) -> rule6)) -> rule1) OR ((((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule4)) -> rule3) ((triple3) -> rule6)) -> rule1))] Charlie is smart.[(((((triple3) -> rule6)) -> rule4))] Erin is green.[(((triple12 ((triple11) -> rule6)) -> rule1) OR ((((((triple11) -> rule6) ((((triple11) -> rule6)) -> rule4)) -> rule3) ((triple11) -> rule6)) -> rule1))] Erin is smart.[(((((triple11) -> rule6)) -> rule4))] @3: Bob is white.[(((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule4)) -> rule3))] Charlie is furry.[(((((triple4 ((triple3) -> rule6)) -> rule1)) -> rule5) OR ((((((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule4)) -> rule3) ((triple3) -> rule6)) -> rule1)) -> rule5))] Erin is furry.[(((((triple12 ((triple11) -> rule6)) -> rule1)) -> rule5) OR ((((((((triple11) -> rule6) ((((triple11) -> rule6)) -> rule4)) -> rule3) ((triple11) -> rule6)) -> rule1)) -> rule5))] @4: Bob is green.[(((((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule4)) -> rule3) ((triple1) -> rule6)) -> rule1))] @5: Bob is furry.[(((((((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule4)) -> rule3) ((triple1) -> rule6)) -> rule1)) -> rule5))]
Bob is round.
("Bob" "is" "round" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
((triple3) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Charlie is white.
("Charlie" "is" "white" "+")
triple4
((((triple3) -> (rule6 % int3)) ((((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
triple5
((triple6) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((((triple10 triple7) -> (rule1 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((triple10 ((triple8) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((((triple7 triple9) -> (rule3 % int3)) triple7) -> (rule1 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((((triple7 triple9) -> (rule3 % int4)) ((triple8) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((triple7 ((triple7) -> (rule4 % int4))) -> (rule3 % int3)) triple7) -> (rule1 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((((((triple8) -> (rule6 % int4)) triple9) -> (rule3 % int3)) triple7) -> (rule1 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((triple7 ((triple7) -> (rule4 % int5))) -> (rule3 % int4)) ((triple8) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((((((triple8) -> (rule6 % int4)) triple9) -> (rule3 % int3)) ((triple8) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((((triple8) -> (rule6 % int5)) ((triple7) -> (rule4 % int4))) -> (rule3 % int3)) triple7) -> (rule1 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((((((triple8) -> (rule6 % int5)) ((triple7) -> (rule4 % int4))) -> (rule3 % int3)) ((triple8) -> (rule6 % int5))) -> (rule1 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((((triple7 ((((triple8) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) triple7) -> (rule1 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((((triple7 ((((triple8) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((triple8) -> (rule6 % int5))) -> (rule1 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((((((triple8) -> (rule6 % int5)) ((((triple8) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) triple7) -> (rule1 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((((((triple8) -> (rule6 % int5)) ((((triple8) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((triple8) -> (rule6 % int5))) -> (rule1 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
triple6
((triple10 triple7) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((triple10 ((triple8) -> (rule6 % int2))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((triple7 triple9) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple7 triple9) -> (rule3 % int3)) ((triple8) -> (rule6 % int2))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple7 ((triple7) -> (rule4 % int3))) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((((triple8) -> (rule6 % int3)) triple9) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((triple7 ((triple7) -> (rule4 % int4))) -> (rule3 % int3)) ((triple8) -> (rule6 % int2))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((((triple8) -> (rule6 % int3)) triple9) -> (rule3 % int2)) ((triple8) -> (rule6 % int3))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((((triple8) -> (rule6 % int4)) ((triple7) -> (rule4 % int3))) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((triple8) -> (rule6 % int4)) ((triple7) -> (rule4 % int3))) -> (rule3 % int2)) ((triple8) -> (rule6 % int4))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((triple7 ((((triple8) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((triple7 ((((triple8) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((triple8) -> (rule6 % int4))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((triple8) -> (rule6 % int4)) ((((triple8) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((triple8) -> (rule6 % int4)) ((((triple8) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((triple8) -> (rule6 % int4))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
triple7
((triple8) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
triple8
Dave is smart.
("Dave" "is" "smart" "+")
triple9
((triple7) -> (rule4 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((triple8) -> (rule6 % int2))) -> (rule4 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
triple10
((triple7 triple9) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((triple7 ((triple7) -> (rule4 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple8) -> (rule6 % int2)) triple9) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((triple8) -> (rule6 % int3)) ((triple7) -> (rule4 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((triple7 ((((triple8) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((triple8) -> (rule6 % int3)) ((((triple8) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
triple11
Erin is white.
("Erin" "is" "white" "+")
triple12
((((triple11) -> (rule6 % int3)) ((((triple11) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
((triple1) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple1) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple3) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple8) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((triple11) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((triple11) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
((((triple1) -> (rule6 % int2))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
((triple4 ((triple3) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((((triple3) -> (rule6 % int4)) ((((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((triple3) -> (rule6 % int4))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
((((triple3) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
((triple12 ((triple11) -> (rule6 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((((triple11) -> (rule6 % int4)) ((((triple11) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((triple11) -> (rule6 % int4))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
((((triple11) -> (rule6 % int2))) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
((((triple1) -> (rule6 % int3)) ((((triple1) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
((((triple4 ((triple3) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((((triple3) -> (rule6 % int5)) ((((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((triple3) -> (rule6 % int5))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
((((triple12 ((triple11) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((((((triple11) -> (rule6 % int5)) ((((triple11) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((triple11) -> (rule6 % int5))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
((((((triple1) -> (rule6 % int4)) ((((triple1) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) ((triple1) -> (rule6 % int4))) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
((((((((triple1) -> (rule6 % int5)) ((((triple1) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule3 % int3)) ((triple1) -> (rule6 % int5))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5