Bob is big. Bob is blue. Bob is green. Bob is rough. Erin is blue. Erin is kind. Erin is rough. Harry is green. Harry is red. Harry is rough. All green, big people are kind. All green, blue people are red. All kind people are blue. If someone is rough then they are kind. All green people are rough. All red, kind people are round. All big, round people are rough. All kind people are red.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
All green, big people are kind.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
All green, blue people are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
All kind people are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough then they are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
All green people are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
All red, kind people are round.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
All big, round people are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
All kind people are red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
Harry is red.
True
1
proof
[(triple9 OR ((((triple10) -> rule4)) -> rule8) OR ((((((triple8) -> rule5)) -> rule4)) -> rule8) OR ((triple8 ((((triple10) -> rule4)) -> rule3)) -> rule2) OR ((triple8 ((((((triple8) -> rule5)) -> rule4)) -> rule3)) -> rule2))]
("Harry" "is" "red" "+")
triple9
((((triple10) -> (rule4 % int2))) -> (rule8 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((((triple8) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((triple8 ((((triple10) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((triple8 ((((((triple8) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is not rough.
False
1
inv-proof
[(triple10 OR ((triple8) -> rule5))]
("Harry" "is" "rough" "-")
triple10
((triple8) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Erin is red.
True
2
proof
[(((triple6) -> rule8) OR ((((triple7) -> rule4)) -> rule8))]
("Erin" "is" "red" "+")
((triple6) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((((triple7) -> (rule4 % int2))) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Bob is not kind.
False
2
inv-proof
[(((triple4) -> rule4) OR ((triple3 triple1) -> rule1) OR ((((triple3) -> rule5)) -> rule4))]
("Bob" "is" "kind" "-")
((triple4) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple3 triple1) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((((triple3) -> (rule5 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Erin is round.
True
4
proof
[(((((triple6) -> rule8) triple6) -> rule6) OR ((((triple6) -> rule8) ((triple7) -> rule4)) -> rule6) OR ((((((triple7) -> rule4)) -> rule8) triple6) -> rule6) OR ((((((triple7) -> rule4)) -> rule8) ((triple7) -> rule4)) -> rule6))]
("Erin" "is" "round" "+")
((((triple6) -> (rule8 % int2)) triple6) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple6) -> (rule8 % int3)) ((triple7) -> (rule4 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple7) -> (rule4 % int3))) -> (rule8 % int2)) triple6) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((((triple7) -> (rule4 % int3))) -> (rule8 % int2)) ((triple7) -> (rule4 % int3))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is not round.
False
4
inv-proof
[(((((triple6) -> rule8) triple6) -> rule6) OR ((((triple6) -> rule8) ((triple7) -> rule4)) -> rule6) OR ((((((triple7) -> rule4)) -> rule8) triple6) -> rule6) OR ((((((triple7) -> rule4)) -> rule8) ((triple7) -> rule4)) -> rule6))]
("Erin" "is" "round" "-")
((((triple6) -> (rule8 % int2)) triple6) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple6) -> (rule8 % int3)) ((triple7) -> (rule4 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple7) -> (rule4 % int3))) -> (rule8 % int2)) triple6) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((((triple7) -> (rule4 % int3))) -> (rule8 % int2)) ((triple7) -> (rule4 % int3))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((((triple4) -> rule4)) -> rule3) OR ((((triple3 triple1) -> rule1)) -> rule3) OR ((((((triple3) -> rule5)) -> rule4)) -> rule3))] Bob is green.[(triple3)] Bob is rough.[(triple4 OR ((triple3) -> rule5) OR ((triple1 ((((triple3 triple2) -> rule2) ((triple3 triple1) -> rule1)) -> rule6)) -> rule7) OR ((triple1 ((((((triple3 triple1) -> rule1)) -> rule8) ((triple3 triple1) -> rule1)) -> rule6)) -> rule7) OR ((triple1 ((((triple3 ((((triple3 triple1) -> rule1)) -> rule3)) -> rule2) ((triple3 triple1) -> rule1)) -> rule6)) -> rule7))] Erin is blue.[(triple5 OR ((triple6) -> rule3) OR ((((triple7) -> rule4)) -> rule3))] Erin is kind.[(triple6 OR ((triple7) -> rule4))] Erin is rough.[(triple7)] Harry is green.[(triple8)] Harry is red.[(triple9 OR ((((triple10) -> rule4)) -> rule8) OR ((((((triple8) -> rule5)) -> rule4)) -> rule8) OR ((triple8 ((((triple10) -> rule4)) -> rule3)) -> rule2) OR ((triple8 ((((((triple8) -> rule5)) -> rule4)) -> rule3)) -> rule2))] Harry is rough.[(triple10 OR ((triple8) -> rule5))] @1: Bob is kind.[(((triple4) -> rule4) OR ((triple3 triple1) -> rule1) OR ((((triple3) -> rule5)) -> rule4))] Bob is red.[(((triple3 triple2) -> rule2) OR ((((triple4) -> rule4)) -> rule8) OR ((((triple3 triple1) -> rule1)) -> rule8) OR ((((((triple3) -> rule5)) -> rule4)) -> rule8) OR ((triple3 ((((triple4) -> rule4)) -> rule3)) -> rule2) OR ((triple3 ((((triple3 triple1) -> rule1)) -> rule3)) -> rule2) OR ((triple3 ((((((triple3) -> rule5)) -> rule4)) -> rule3)) -> rule2))] Erin is red.[(((triple6) -> rule8) OR ((((triple7) -> rule4)) -> rule8))] Harry is kind.[(((triple10) -> rule4) OR ((((triple8) -> rule5)) -> rule4))] @2: Bob is round.[(((((triple3 triple2) -> rule2) ((triple4) -> rule4)) -> rule6) OR ((((triple3 triple2) -> rule2) ((triple3 triple1) -> rule1)) -> rule6) OR ((((((triple4) -> rule4)) -> rule8) ((triple4) -> rule4)) -> rule6) OR ((((((triple4) -> rule4)) -> rule8) ((triple3 triple1) -> rule1)) -> rule6) OR ((((((triple3 triple1) -> rule1)) -> rule8) ((triple4) -> rule4)) -> rule6) OR ((((((triple3 triple1) -> rule1)) -> rule8) ((triple3 triple1) -> rule1)) -> rule6) OR ((((triple3 triple2) -> rule2) ((((triple3) -> rule5)) -> rule4)) -> rule6) OR ((((((triple4) -> rule4)) -> rule8) ((((triple3) -> rule5)) -> rule4)) -> rule6) OR ((((((triple3 triple1) -> rule1)) -> rule8) ((((triple3) -> rule5)) -> rule4)) -> rule6) OR ((((((((triple3) -> rule5)) -> rule4)) -> rule8) ((triple4) -> rule4)) -> rule6) OR ((((((((triple3) -> rule5)) -> rule4)) -> rule8) ((triple3 triple1) -> rule1)) -> rule6) OR ((((triple3 ((((triple4) -> rule4)) -> rule3)) -> rule2) ((triple4) -> rule4)) -> rule6) OR ((((triple3 ((((triple4) -> rule4)) -> rule3)) -> rule2) ((triple3 triple1) -> rule1)) -> rule6) OR ((((triple3 ((((triple3 triple1) -> rule1)) -> rule3)) -> rule2) ((triple4) -> rule4)) -> rule6) OR ((((triple3 ((((triple3 triple1) -> rule1)) -> rule3)) -> rule2) ((triple3 triple1) -> rule1)) -> rule6) OR ((((((((triple3) -> rule5)) -> rule4)) -> rule8) ((((triple3) -> rule5)) -> rule4)) -> rule6) OR ((((triple3 ((((triple4) -> rule4)) -> rule3)) -> rule2) ((((triple3) -> rule5)) -> rule4)) -> rule6) OR ((((triple3 ((((triple3 triple1) -> rule1)) -> rule3)) -> rule2) ((((triple3) -> rule5)) -> rule4)) -> rule6) OR ((((triple3 ((((((triple3) -> rule5)) -> rule4)) -> rule3)) -> rule2) ((triple4) -> rule4)) -> rule6) OR ((((triple3 ((((((triple3) -> rule5)) -> rule4)) -> rule3)) -> rule2) ((triple3 triple1) -> rule1)) -> rule6) OR ((((triple3 ((((((triple3) -> rule5)) -> rule4)) -> rule3)) -> rule2) ((((triple3) -> rule5)) -> rule4)) -> rule6))] Erin is round.[(((((triple6) -> rule8) triple6) -> rule6) OR ((((triple6) -> rule8) ((triple7) -> rule4)) -> rule6) OR ((((((triple7) -> rule4)) -> rule8) triple6) -> rule6) OR ((((((triple7) -> rule4)) -> rule8) ((triple7) -> rule4)) -> rule6))] Harry is blue.[(((((triple10) -> rule4)) -> rule3) OR ((((((triple8) -> rule5)) -> rule4)) -> rule3))] Harry is round.[(((triple9 ((triple10) -> rule4)) -> rule6) OR ((triple9 ((((triple8) -> rule5)) -> rule4)) -> rule6) OR ((((((triple10) -> rule4)) -> rule8) ((triple10) -> rule4)) -> rule6) OR ((((((triple10) -> rule4)) -> rule8) ((((triple8) -> rule5)) -> rule4)) -> rule6) OR ((((((((triple8) -> rule5)) -> rule4)) -> rule8) ((triple10) -> rule4)) -> rule6) OR ((((triple8 ((((triple10) -> rule4)) -> rule3)) -> rule2) ((triple10) -> rule4)) -> rule6) OR ((((((((triple8) -> rule5)) -> rule4)) -> rule8) ((((triple8) -> rule5)) -> rule4)) -> rule6) OR ((((triple8 ((((triple10) -> rule4)) -> rule3)) -> rule2) ((((triple8) -> rule5)) -> rule4)) -> rule6) OR ((((triple8 ((((((triple8) -> rule5)) -> rule4)) -> rule3)) -> rule2) ((triple10) -> rule4)) -> rule6) OR ((((triple8 ((((((triple8) -> rule5)) -> rule4)) -> rule3)) -> rule2) ((((triple8) -> rule5)) -> rule4)) -> rule6))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
((((triple4) -> (rule4 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple3 triple1) -> (rule1 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((((triple3) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
((triple3) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((triple1 ((((triple3 triple2) -> (rule2 % int4)) ((triple3 triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((triple1 ((((((triple3 triple1) -> (rule1 % int4))) -> (rule8 % int3)) ((triple3 triple1) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((triple1 ((((triple3 ((((triple3 triple1) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) ((triple3 triple1) -> (rule1 % int5))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Erin is blue.
("Erin" "is" "blue" "+")
triple5
((triple6) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((((triple7) -> (rule4 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
triple6
((triple7) -> (rule4 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple9
((((triple10) -> (rule4 % int2))) -> (rule8 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((((triple8) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((triple8 ((((triple10) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((triple8 ((((((triple8) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
triple10
((triple8) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((triple4) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple3 triple1) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((((triple3) -> (rule5 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
((triple3 triple2) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((((triple4) -> (rule4 % int2))) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple3 triple1) -> (rule1 % int2))) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((((triple3) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((triple3 ((((triple4) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((triple3 ((((triple3 triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((triple3 ((((((triple3) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
((triple6) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((((triple7) -> (rule4 % int2))) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((triple10) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((((triple8) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((((triple3 triple2) -> (rule2 % int3)) ((triple4) -> (rule4 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple3 triple2) -> (rule2 % int3)) ((triple3 triple1) -> (rule1 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((((triple4) -> (rule4 % int3))) -> (rule8 % int2)) ((triple4) -> (rule4 % int3))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple4) -> (rule4 % int3))) -> (rule8 % int2)) ((triple3 triple1) -> (rule1 % int3))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple3 triple1) -> (rule1 % int3))) -> (rule8 % int2)) ((triple4) -> (rule4 % int3))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple3 triple1) -> (rule1 % int3))) -> (rule8 % int2)) ((triple3 triple1) -> (rule1 % int3))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple3 triple2) -> (rule2 % int4)) ((((triple3) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((triple4) -> (rule4 % int4))) -> (rule8 % int3)) ((((triple3) -> (rule5 % int2))) -> (rule4 % int4))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple3 triple1) -> (rule1 % int4))) -> (rule8 % int3)) ((((triple3) -> (rule5 % int2))) -> (rule4 % int4))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((((triple3) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule8 % int2)) ((triple4) -> (rule4 % int3))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((((triple3) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule8 % int2)) ((triple3 triple1) -> (rule1 % int3))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((triple3 ((((triple4) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) ((triple4) -> (rule4 % int4))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple3 ((((triple4) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) ((triple3 triple1) -> (rule1 % int4))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple3 ((((triple3 triple1) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) ((triple4) -> (rule4 % int4))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple3 ((((triple3 triple1) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) ((triple3 triple1) -> (rule1 % int4))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((((triple3) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule8 % int2)) ((((triple3) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((triple3 ((((triple4) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) ((((triple3) -> (rule5 % int2))) -> (rule4 % int5))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple3 ((((triple3 triple1) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) ((((triple3) -> (rule5 % int2))) -> (rule4 % int5))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple3 ((((((triple3) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) ((triple4) -> (rule4 % int4))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((triple3 ((((((triple3) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) ((triple3 triple1) -> (rule1 % int4))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((triple3 ((((((triple3) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) ((((triple3) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
((((triple6) -> (rule8 % int2)) triple6) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple6) -> (rule8 % int3)) ((triple7) -> (rule4 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((((triple7) -> (rule4 % int3))) -> (rule8 % int2)) triple6) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((((triple7) -> (rule4 % int3))) -> (rule8 % int2)) ((triple7) -> (rule4 % int3))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
((((triple10) -> (rule4 % int2))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((((triple8) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
((triple9 ((triple10) -> (rule4 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((triple9 ((((triple8) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((((triple10) -> (rule4 % int3))) -> (rule8 % int2)) ((triple10) -> (rule4 % int3))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((triple10) -> (rule4 % int4))) -> (rule8 % int3)) ((((triple8) -> (rule5 % int2))) -> (rule4 % int4))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((((triple8) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule8 % int2)) ((triple10) -> (rule4 % int3))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((triple8 ((((triple10) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) ((triple10) -> (rule4 % int4))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((((triple8) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule8 % int2)) ((((triple8) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((triple8 ((((triple10) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) ((((triple8) -> (rule5 % int2))) -> (rule4 % int5))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((triple8 ((((((triple8) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) ((triple10) -> (rule4 % int4))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((triple8 ((((((triple8) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) ((((triple8) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5