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