Bob is blue. Bob is nice. Bob is red. Bob is rough. Bob is round. Erin is big. Erin is blue. Erin is nice. Erin is red. Erin is rough. Erin is round. Erin is white. Harry is big. Harry is nice. Harry is red. All big, rough people are round. If Harry is round and Harry is big then Harry is blue. All big people are round. All nice people are white. If someone is nice and red then they are big. Nice people are big. All white people are rough. Nice people are round.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
All big, rough people are round.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If Harry is round and Harry is big then Harry is blue.
((("Harry" "is" "round" "+") ("Harry" "is" "big" "+")) -> ("Harry" "is" "blue" "+"))
All big people are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
All nice people are white.
((("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
If someone is nice and red then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
Nice people are big.
((("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
All white people are rough.
((("someone" "is" "white" "+")) -> ("someone" "is" "rough" "+"))
Nice people are round.
((("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Erin is rough.
True
1
proof
[(triple10 OR ((triple12) -> rule7) OR ((((triple8) -> rule4)) -> rule7))]
("Erin" "is" "rough" "+")
triple10
((triple12) -> (rule7 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((((triple8) -> (rule4 % int2))) -> (rule7 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Bob is not red.
False
1
inv-proof
[(triple3)]
("Bob" "is" "red" "-")
triple3
Harry is white.
True
2
proof
[(((triple14) -> rule4))]
("Harry" "is" "white" "+")
((triple14) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Bob is not big.
False
2
inv-proof
[(((triple2) -> rule6) OR ((triple2 triple3) -> rule5))]
("Bob" "is" "big" "-")
((triple2) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple2 triple3) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Harry is blue.
True
4
proof
[(((((triple13) -> rule3) triple13) -> rule2) OR ((((triple14) -> rule8) triple13) -> rule2) OR ((((triple13) -> rule3) ((triple14) -> rule6)) -> rule2) OR ((((triple13) -> rule3) ((triple14 triple15) -> rule5)) -> rule2) OR ((((triple14) -> rule8) ((triple14) -> rule6)) -> rule2) OR ((((triple14) -> rule8) ((triple14 triple15) -> rule5)) -> rule2) OR ((((((triple14) -> rule6)) -> rule3) triple13) -> rule2) OR ((((((triple14 triple15) -> rule5)) -> rule3) triple13) -> rule2) OR ((((((triple14) -> rule6)) -> rule3) ((triple14) -> rule6)) -> rule2) OR ((((((triple14) -> rule6)) -> rule3) ((triple14 triple15) -> rule5)) -> rule2) OR ((((((triple14 triple15) -> rule5)) -> rule3) ((triple14) -> rule6)) -> rule2) OR ((((((triple14 triple15) -> rule5)) -> rule3) ((triple14 triple15) -> rule5)) -> rule2) OR ((((triple13 ((((triple14) -> rule4)) -> rule7)) -> rule1) triple13) -> rule2) OR ((((triple13 ((((triple14) -> rule4)) -> rule7)) -> rule1) ((triple14) -> rule6)) -> rule2) OR ((((triple13 ((((triple14) -> rule4)) -> rule7)) -> rule1) ((triple14 triple15) -> rule5)) -> rule2) OR ((((((triple14) -> rule6) ((((triple14) -> rule4)) -> rule7)) -> rule1) triple13) -> rule2) OR ((((((triple14 triple15) -> rule5) ((((triple14) -> rule4)) -> rule7)) -> rule1) triple13) -> rule2) OR ((((((triple14) -> rule6) ((((triple14) -> rule4)) -> rule7)) -> rule1) ((triple14) -> rule6)) -> rule2) OR ((((((triple14) -> rule6) ((((triple14) -> rule4)) -> rule7)) -> rule1) ((triple14 triple15) -> rule5)) -> rule2) OR ((((((triple14 triple15) -> rule5) ((((triple14) -> rule4)) -> rule7)) -> rule1) ((triple14) -> rule6)) -> rule2) OR ((((((triple14 triple15) -> rule5) ((((triple14) -> rule4)) -> rule7)) -> rule1) ((triple14 triple15) -> rule5)) -> rule2))]
("Harry" "is" "blue" "+")
((((triple13) -> (rule3 % int2)) triple13) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple14) -> (rule8 % int2)) triple13) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple13) -> (rule3 % int3)) ((triple14) -> (rule6 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple13) -> (rule3 % int3)) ((triple14 triple15) -> (rule5 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple14) -> (rule8 % int3)) ((triple14) -> (rule6 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple14) -> (rule8 % int3)) ((triple14 triple15) -> (rule5 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((triple14) -> (rule6 % int3))) -> (rule3 % int2)) triple13) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((triple14 triple15) -> (rule5 % int3))) -> (rule3 % int2)) triple13) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((triple14) -> (rule6 % int3))) -> (rule3 % int2)) ((triple14) -> (rule6 % int3))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((triple14) -> (rule6 % int3))) -> (rule3 % int2)) ((triple14 triple15) -> (rule5 % int3))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((triple14 triple15) -> (rule5 % int3))) -> (rule3 % int2)) ((triple14) -> (rule6 % int3))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((triple14 triple15) -> (rule5 % int3))) -> (rule3 % int2)) ((triple14 triple15) -> (rule5 % int3))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((triple13 ((((triple14) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple13) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((triple13 ((((triple14) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((triple14) -> (rule6 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((triple13 ((((triple14) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((triple14 triple15) -> (rule5 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple14) -> (rule6 % int5)) ((((triple14) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple13) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple14 triple15) -> (rule5 % int5)) ((((triple14) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple13) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple14) -> (rule6 % int5)) ((((triple14) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple14) -> (rule6 % int5))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple14) -> (rule6 % int5)) ((((triple14) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple14 triple15) -> (rule5 % int5))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple14 triple15) -> (rule5 % int5)) ((((triple14) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple14) -> (rule6 % int5))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple14 triple15) -> (rule5 % int5)) ((((triple14) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple14 triple15) -> (rule5 % int5))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is not rough.
False
3
inv-proof
[(((((triple14) -> rule4)) -> rule7))]
("Harry" "is" "rough" "-")
((((triple14) -> (rule4 % int2))) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
@0: Bob is blue.[(triple1)] Bob is nice.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4 OR ((((triple2) -> rule4)) -> rule7))] Bob is round.[(triple5 OR ((triple2) -> rule8) OR ((((triple2) -> rule6)) -> rule3) OR ((((triple2 triple3) -> rule5)) -> rule3) OR ((((triple2) -> rule6) triple4) -> rule1) OR ((((triple2 triple3) -> rule5) triple4) -> rule1) OR ((((triple2) -> rule6) ((((triple2) -> rule4)) -> rule7)) -> rule1) OR ((((triple2 triple3) -> rule5) ((((triple2) -> rule4)) -> rule7)) -> rule1))] Erin is big.[(triple6 OR ((triple8) -> rule6) OR ((triple8 triple9) -> rule5))] Erin is blue.[(triple7)] Erin is nice.[(triple8)] Erin is red.[(triple9)] Erin is rough.[(triple10 OR ((triple12) -> rule7) OR ((((triple8) -> rule4)) -> rule7))] Erin is round.[(triple11 OR ((triple6) -> rule3) OR ((triple8) -> rule8) OR ((triple6 triple10) -> rule1) OR ((((triple8) -> rule6)) -> rule3) OR ((((triple8 triple9) -> rule5)) -> rule3) OR ((triple6 ((triple12) -> rule7)) -> rule1) OR ((((triple8) -> rule6) triple10) -> rule1) OR ((((triple8 triple9) -> rule5) triple10) -> rule1) OR ((((triple8) -> rule6) ((triple12) -> rule7)) -> rule1) OR ((((triple8 triple9) -> rule5) ((triple12) -> rule7)) -> rule1) OR ((triple6 ((((triple8) -> rule4)) -> rule7)) -> rule1) OR ((((triple8) -> rule6) ((((triple8) -> rule4)) -> rule7)) -> rule1) OR ((((triple8 triple9) -> rule5) ((((triple8) -> rule4)) -> rule7)) -> rule1))] Erin is white.[(triple12 OR ((triple8) -> rule4))] Harry is big.[(triple13 OR ((triple14) -> rule6) OR ((triple14 triple15) -> rule5))] Harry is nice.[(triple14)] Harry is red.[(triple15)] @1: Bob is big.[(((triple2) -> rule6) OR ((triple2 triple3) -> rule5))] Bob is white.[(((triple2) -> rule4))] Harry is round.[(((triple13) -> rule3) OR ((triple14) -> rule8) OR ((((triple14) -> rule6)) -> rule3) OR ((((triple14 triple15) -> rule5)) -> rule3) OR ((triple13 ((((triple14) -> rule4)) -> rule7)) -> rule1) OR ((((triple14) -> rule6) ((((triple14) -> rule4)) -> rule7)) -> rule1) OR ((((triple14 triple15) -> rule5) ((((triple14) -> rule4)) -> rule7)) -> rule1))] Harry is white.[(((triple14) -> rule4))] @2: Harry is blue.[(((((triple13) -> rule3) triple13) -> rule2) OR ((((triple14) -> rule8) triple13) -> rule2) OR ((((triple13) -> rule3) ((triple14) -> rule6)) -> rule2) OR ((((triple13) -> rule3) ((triple14 triple15) -> rule5)) -> rule2) OR ((((triple14) -> rule8) ((triple14) -> rule6)) -> rule2) OR ((((triple14) -> rule8) ((triple14 triple15) -> rule5)) -> rule2) OR ((((((triple14) -> rule6)) -> rule3) triple13) -> rule2) OR ((((((triple14 triple15) -> rule5)) -> rule3) triple13) -> rule2) OR ((((((triple14) -> rule6)) -> rule3) ((triple14) -> rule6)) -> rule2) OR ((((((triple14) -> rule6)) -> rule3) ((triple14 triple15) -> rule5)) -> rule2) OR ((((((triple14 triple15) -> rule5)) -> rule3) ((triple14) -> rule6)) -> rule2) OR ((((((triple14 triple15) -> rule5)) -> rule3) ((triple14 triple15) -> rule5)) -> rule2) OR ((((triple13 ((((triple14) -> rule4)) -> rule7)) -> rule1) triple13) -> rule2) OR ((((triple13 ((((triple14) -> rule4)) -> rule7)) -> rule1) ((triple14) -> rule6)) -> rule2) OR ((((triple13 ((((triple14) -> rule4)) -> rule7)) -> rule1) ((triple14 triple15) -> rule5)) -> rule2) OR ((((((triple14) -> rule6) ((((triple14) -> rule4)) -> rule7)) -> rule1) triple13) -> rule2) OR ((((((triple14 triple15) -> rule5) ((((triple14) -> rule4)) -> rule7)) -> rule1) triple13) -> rule2) OR ((((((triple14) -> rule6) ((((triple14) -> rule4)) -> rule7)) -> rule1) ((triple14) -> rule6)) -> rule2) OR ((((((triple14) -> rule6) ((((triple14) -> rule4)) -> rule7)) -> rule1) ((triple14 triple15) -> rule5)) -> rule2) OR ((((((triple14 triple15) -> rule5) ((((triple14) -> rule4)) -> rule7)) -> rule1) ((triple14) -> rule6)) -> rule2) OR ((((((triple14 triple15) -> rule5) ((((triple14) -> rule4)) -> rule7)) -> rule1) ((triple14 triple15) -> rule5)) -> rule2))] Harry is rough.[(((((triple14) -> rule4)) -> rule7))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
((((triple2) -> (rule4 % int2))) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
triple5
((triple2) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((((triple2) -> (rule6 % int2))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((triple2 triple3) -> (rule5 % int2))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((triple2) -> (rule6 % int2)) triple4) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((triple2 triple3) -> (rule5 % int2)) triple4) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((triple2) -> (rule6 % int4)) ((((triple2) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((triple2 triple3) -> (rule5 % int4)) ((((triple2) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
triple6
((triple8) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple8 triple9) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
triple7
Erin is nice.
("Erin" "is" "nice" "+")
triple8
Erin is red.
("Erin" "is" "red" "+")
triple9
Erin is rough.
("Erin" "is" "rough" "+")
triple10
((triple12) -> (rule7 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((((triple8) -> (rule4 % int2))) -> (rule7 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
triple11
((triple6) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple8) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple6 triple10) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((triple8) -> (rule6 % int2))) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple8 triple9) -> (rule5 % int2))) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((triple6 ((triple12) -> (rule7 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((triple8) -> (rule6 % int2)) triple10) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple8 triple9) -> (rule5 % int2)) triple10) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple8) -> (rule6 % int3)) ((triple12) -> (rule7 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple8 triple9) -> (rule5 % int3)) ((triple12) -> (rule7 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((triple6 ((((triple8) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((triple8) -> (rule6 % int4)) ((((triple8) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple8 triple9) -> (rule5 % int4)) ((((triple8) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
triple12
((triple8) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
triple13
((triple14) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((triple14 triple15) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
triple14
Harry is red.
("Harry" "is" "red" "+")
triple15
Bob is big.
("Bob" "is" "big" "+")
((triple2) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple2 triple3) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
((triple2) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple13) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((triple14) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((triple14) -> (rule6 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple14 triple15) -> (rule5 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((triple13 ((((triple14) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((triple14) -> (rule6 % int4)) ((((triple14) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple14 triple15) -> (rule5 % int4)) ((((triple14) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
((triple14) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((((triple13) -> (rule3 % int2)) triple13) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple14) -> (rule8 % int2)) triple13) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple13) -> (rule3 % int3)) ((triple14) -> (rule6 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple13) -> (rule3 % int3)) ((triple14 triple15) -> (rule5 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple14) -> (rule8 % int3)) ((triple14) -> (rule6 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple14) -> (rule8 % int3)) ((triple14 triple15) -> (rule5 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((triple14) -> (rule6 % int3))) -> (rule3 % int2)) triple13) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((triple14 triple15) -> (rule5 % int3))) -> (rule3 % int2)) triple13) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((triple14) -> (rule6 % int3))) -> (rule3 % int2)) ((triple14) -> (rule6 % int3))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((triple14) -> (rule6 % int3))) -> (rule3 % int2)) ((triple14 triple15) -> (rule5 % int3))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((triple14 triple15) -> (rule5 % int3))) -> (rule3 % int2)) ((triple14) -> (rule6 % int3))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((triple14 triple15) -> (rule5 % int3))) -> (rule3 % int2)) ((triple14 triple15) -> (rule5 % int3))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((triple13 ((((triple14) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple13) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((triple13 ((((triple14) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((triple14) -> (rule6 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((triple13 ((((triple14) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((triple14 triple15) -> (rule5 % int2))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((((triple14) -> (rule6 % int5)) ((((triple14) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple13) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple14 triple15) -> (rule5 % int5)) ((((triple14) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple13) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple14) -> (rule6 % int5)) ((((triple14) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple14) -> (rule6 % int5))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple14) -> (rule6 % int5)) ((((triple14) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple14 triple15) -> (rule5 % int5))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple14 triple15) -> (rule5 % int5)) ((((triple14) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple14) -> (rule6 % int5))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple14 triple15) -> (rule5 % int5)) ((((triple14) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple14 triple15) -> (rule5 % int5))) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is rough.
("Harry" "is" "rough" "+")
((((triple14) -> (rule4 % int2))) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2