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