Bob is blue. Bob is cold. Bob is green. Bob is red. Bob is rough. Bob is round. Bob is smart. Erin is blue. Erin is red. Erin is rough. Gary is red. Gary is round. Gary is smart. Harry is blue. If someone is cold then they are green. All red, smart people are green. All round people are green. If someone is rough and cold then they are smart. All blue people are round. Cold, green people are rough. Blue, green people are round. Green people are cold.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is cold then they are green.
((("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
All red, smart people are green.
((("someone" "is" "red" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
All round people are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and cold then they are smart.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
All blue people are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Cold, green people are rough.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Blue, green people are round.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Green people are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Gary is round.
True
1
proof
[(triple12)]
("Gary" "is" "round" "+")
triple12
Bob is not cold.
False
1
inv-proof
[(triple2 OR ((triple3) -> rule8) OR ((((triple6) -> rule3)) -> rule8) OR ((((triple4 triple7) -> rule2)) -> rule8) OR ((((((triple1) -> rule5)) -> rule3)) -> rule8))]
("Bob" "is" "cold" "-")
triple2
((triple3) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((((triple6) -> (rule3 % int2))) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple4 triple7) -> (rule2 % int2))) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((((triple1) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Erin is round.
True
2
proof
[(((triple8) -> rule5))]
("Erin" "is" "round" "+")
((triple8) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Harry is not round.
False
2
inv-proof
[(((triple14) -> rule5))]
("Harry" "is" "round" "-")
((triple14) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Erin is green.
True
3
proof
[(((((triple8) -> rule5)) -> rule3))]
("Erin" "is" "green" "+")
((((triple8) -> (rule5 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Harry is not green.
False
3
inv-proof
[(((((triple14) -> rule5)) -> rule3))]
("Harry" "is" "green" "-")
((((triple14) -> (rule5 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Gary is rough.
True
6
proof
[(((((((triple12) -> rule3)) -> rule8) ((triple12) -> rule3)) -> rule6) OR ((((((triple12) -> rule3)) -> rule8) ((triple11 triple13) -> rule2)) -> rule6) OR ((((((triple11 triple13) -> rule2)) -> rule8) ((triple12) -> rule3)) -> rule6) OR ((((((triple11 triple13) -> rule2)) -> rule8) ((triple11 triple13) -> rule2)) -> rule6))]
("Gary" "is" "rough" "+")
((((((triple12) -> (rule3 % int3))) -> (rule8 % int2)) ((triple12) -> (rule3 % int3))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple12) -> (rule3 % int3))) -> (rule8 % int2)) ((triple11 triple13) -> (rule2 % int3))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple11 triple13) -> (rule2 % int3))) -> (rule8 % int2)) ((triple12) -> (rule3 % int3))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple11 triple13) -> (rule2 % int3))) -> (rule8 % int2)) ((triple11 triple13) -> (rule2 % int3))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Harry is not cold.
False
4
inv-proof
[(((((((triple14) -> rule5)) -> rule3)) -> rule8))]
("Harry" "is" "cold" "-")
((((((triple14) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Erin is smart.
True
6
proof
[(((triple10 ((((((triple8) -> rule5)) -> rule3)) -> rule8)) -> rule4) OR ((((((((((triple8) -> rule5)) -> rule3)) -> rule8) ((((triple8) -> rule5)) -> rule3)) -> rule6) ((((((triple8) -> rule5)) -> rule3)) -> rule8)) -> rule4))]
("Erin" "is" "smart" "+")
((triple10 ((((((triple8) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((((((triple8) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((((triple8) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule6 % int2)) ((((((triple8) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Harry is not rough.
False
8
inv-proof
[(((((((((triple14) -> rule5)) -> rule3)) -> rule8) ((((triple14) -> rule5)) -> rule3)) -> rule6))]
("Harry" "is" "rough" "-")
((((((((triple14) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple14) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is smart.
True
13
proof
[(((((((((((triple14) -> rule5)) -> rule3)) -> rule8) ((((triple14) -> rule5)) -> rule3)) -> rule6) ((((((triple14) -> rule5)) -> rule3)) -> rule8)) -> rule4))]
("Harry" "is" "smart" "+")
((((((((((triple14) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((((triple14) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule6 % int2)) ((((((triple14) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
Harry is not smart.
False
13
inv-proof
[(((((((((((triple14) -> rule5)) -> rule3)) -> rule8) ((((triple14) -> rule5)) -> rule3)) -> rule6) ((((((triple14) -> rule5)) -> rule3)) -> rule8)) -> rule4))]
("Harry" "is" "smart" "-")
((((((((((triple14) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((((triple14) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule6 % int2)) ((((((triple14) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple3) -> rule8) OR ((((triple6) -> rule3)) -> rule8) OR ((((triple4 triple7) -> rule2)) -> rule8) OR ((((((triple1) -> rule5)) -> rule3)) -> rule8))] Bob is green.[(triple3 OR ((triple2) -> rule1) OR ((triple6) -> rule3) OR ((triple4 triple7) -> rule2) OR ((((triple1) -> rule5)) -> rule3) OR ((triple4 ((triple5 triple2) -> rule4)) -> rule2))] Bob is red.[(triple4)] Bob is rough.[(triple5 OR ((triple2 triple3) -> rule6) OR ((triple2 ((triple2) -> rule1)) -> rule6) OR ((triple2 ((triple6) -> rule3)) -> rule6) OR ((triple2 ((triple4 triple7) -> rule2)) -> rule6) OR ((((triple3) -> rule8) triple3) -> rule6) OR ((((triple3) -> rule8) ((triple2) -> rule1)) -> rule6) OR ((((triple3) -> rule8) ((triple6) -> rule3)) -> rule6) OR ((((triple3) -> rule8) ((triple4 triple7) -> rule2)) -> rule6) OR ((triple2 ((((triple1) -> rule5)) -> rule3)) -> rule6) OR ((((((triple6) -> rule3)) -> rule8) triple3) -> rule6) OR ((((((triple4 triple7) -> rule2)) -> rule8) triple3) -> rule6) OR ((((triple3) -> rule8) ((((triple1) -> rule5)) -> rule3)) -> rule6) OR ((((((triple6) -> rule3)) -> rule8) ((triple2) -> rule1)) -> rule6) OR ((((((triple6) -> rule3)) -> rule8) ((triple6) -> rule3)) -> rule6) OR ((((((triple6) -> rule3)) -> rule8) ((triple4 triple7) -> rule2)) -> rule6) OR ((((((triple4 triple7) -> rule2)) -> rule8) ((triple2) -> rule1)) -> rule6) OR ((((((triple4 triple7) -> rule2)) -> rule8) ((triple6) -> rule3)) -> rule6) OR ((((((triple4 triple7) -> rule2)) -> rule8) ((triple4 triple7) -> rule2)) -> rule6) OR ((((((triple6) -> rule3)) -> rule8) ((((triple1) -> rule5)) -> rule3)) -> rule6) OR ((((((triple4 triple7) -> rule2)) -> rule8) ((((triple1) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple1) -> rule5)) -> rule3)) -> rule8) triple3) -> rule6) OR ((((((((triple1) -> rule5)) -> rule3)) -> rule8) ((triple2) -> rule1)) -> rule6) OR ((((((((triple1) -> rule5)) -> rule3)) -> rule8) ((triple6) -> rule3)) -> rule6) OR ((((((((triple1) -> rule5)) -> rule3)) -> rule8) ((triple4 triple7) -> rule2)) -> rule6) OR ((((((((triple1) -> rule5)) -> rule3)) -> rule8) ((((triple1) -> rule5)) -> rule3)) -> rule6))] Bob is round.[(triple6 OR ((triple1) -> rule5) OR ((triple1 triple3) -> rule7) OR ((triple1 ((triple2) -> rule1)) -> rule7) OR ((triple1 ((triple4 triple7) -> rule2)) -> rule7) OR ((triple1 ((triple4 ((triple5 triple2) -> rule4)) -> rule2)) -> rule7))] Bob is smart.[(triple7 OR ((triple5 triple2) -> rule4) OR ((triple5 ((triple3) -> rule8)) -> rule4) OR ((((triple2 triple3) -> rule6) triple2) -> rule4) OR ((((triple2 triple3) -> rule6) ((triple3) -> rule8)) -> rule4) OR ((triple5 ((((triple6) -> rule3)) -> rule8)) -> rule4) OR ((((triple2 ((triple2) -> rule1)) -> rule6) triple2) -> rule4) OR ((((triple2 ((triple6) -> rule3)) -> rule6) triple2) -> rule4) OR ((((((triple3) -> rule8) triple3) -> rule6) triple2) -> rule4) OR ((((triple2 triple3) -> rule6) ((((triple6) -> rule3)) -> rule8)) -> rule4) OR ((((triple2 ((triple2) -> rule1)) -> rule6) ((triple3) -> rule8)) -> rule4) OR ((((triple2 ((triple6) -> rule3)) -> rule6) ((triple3) -> rule8)) -> rule4) OR ((((((triple3) -> rule8) triple3) -> rule6) ((triple3) -> rule8)) -> rule4) OR ((((((triple3) -> rule8) ((triple2) -> rule1)) -> rule6) triple2) -> rule4) OR ((((((triple3) -> rule8) ((triple6) -> rule3)) -> rule6) triple2) -> rule4) OR ((((triple2 ((triple2) -> rule1)) -> rule6) ((((triple6) -> rule3)) -> rule8)) -> rule4) OR ((((triple2 ((triple6) -> rule3)) -> rule6) ((((triple6) -> rule3)) -> rule8)) -> rule4) OR ((((((triple3) -> rule8) triple3) -> rule6) ((((triple6) -> rule3)) -> rule8)) -> rule4) OR ((((((triple3) -> rule8) ((triple2) -> rule1)) -> rule6) ((triple3) -> rule8)) -> rule4) OR ((((((triple3) -> rule8) ((triple6) -> rule3)) -> rule6) ((triple3) -> rule8)) -> rule4) OR ((((((triple3) -> rule8) ((triple2) -> rule1)) -> rule6) ((((triple6) -> rule3)) -> rule8)) -> rule4) OR ((((((triple3) -> rule8) ((triple6) -> rule3)) -> rule6) ((((triple6) -> rule3)) -> rule8)) -> rule4) OR ((triple5 ((((((triple1) -> rule5)) -> rule3)) -> rule8)) -> rule4) OR ((((triple2 ((((triple1) -> rule5)) -> rule3)) -> rule6) triple2) -> rule4) OR ((((((((triple6) -> rule3)) -> rule8) triple3) -> rule6) triple2) -> rule4) OR ((((triple2 triple3) -> rule6) ((((((triple1) -> rule5)) -> rule3)) -> rule8)) -> rule4) OR ((((triple2 ((((triple1) -> rule5)) -> rule3)) -> rule6) ((triple3) -> rule8)) -> rule4) OR ((((((triple3) -> rule8) ((((triple1) -> rule5)) -> rule3)) -> rule6) triple2) -> rule4) OR ((((((((triple6) -> rule3)) -> rule8) triple3) -> rule6) ((triple3) -> rule8)) -> rule4) OR ((((((((triple6) -> rule3)) -> rule8) ((triple2) -> rule1)) -> rule6) triple2) -> rule4) OR ((((((((triple6) -> rule3)) -> rule8) ((triple6) -> rule3)) -> rule6) triple2) -> rule4) OR ((((triple2 ((triple2) -> rule1)) -> rule6) ((((((triple1) -> rule5)) -> rule3)) -> rule8)) -> rule4) OR ((((triple2 ((triple6) -> rule3)) -> rule6) ((((((triple1) -> rule5)) -> rule3)) -> rule8)) -> rule4) OR ((((triple2 ((((triple1) -> rule5)) -> rule3)) -> rule6) ((((triple6) -> rule3)) -> rule8)) -> rule4) OR ((((((triple3) -> rule8) triple3) -> rule6) ((((((triple1) -> rule5)) -> rule3)) -> rule8)) -> rule4) OR ((((((triple3) -> rule8) ((((triple1) -> rule5)) -> rule3)) -> rule6) ((triple3) -> rule8)) -> rule4) OR ((((((((triple6) -> rule3)) -> rule8) triple3) -> rule6) ((((triple6) -> rule3)) -> rule8)) -> rule4) OR ((((((((triple6) -> rule3)) -> rule8) ((triple2) -> rule1)) -> rule6) ((triple3) -> rule8)) -> rule4) OR ((((((((triple6) -> rule3)) -> rule8) ((triple6) -> rule3)) -> rule6) ((triple3) -> rule8)) -> rule4) OR ((((((((triple6) -> rule3)) -> rule8) ((((triple1) -> rule5)) -> rule3)) -> rule6) triple2) -> rule4) OR ((((triple2 ((((triple1) -> rule5)) -> rule3)) -> rule6) ((((((triple1) -> rule5)) -> rule3)) -> rule8)) -> rule4) OR ((((((triple3) -> rule8) ((triple2) -> rule1)) -> rule6) ((((((triple1) -> rule5)) -> rule3)) -> rule8)) -> rule4) OR ((((((triple3) -> rule8) ((triple6) -> rule3)) -> rule6) ((((((triple1) -> rule5)) -> rule3)) -> rule8)) -> rule4) OR ((((((triple3) -> rule8) ((((triple1) -> rule5)) -> rule3)) -> rule6) ((((triple6) -> rule3)) -> rule8)) -> rule4) OR ((((((((triple6) -> rule3)) -> rule8) triple3) -> rule6) ((((((triple1) -> rule5)) -> rule3)) -> rule8)) -> rule4) OR ((((((((triple6) -> rule3)) -> rule8) ((triple2) -> rule1)) -> rule6) ((((triple6) -> rule3)) -> rule8)) -> rule4) OR ((((((((triple6) -> rule3)) -> rule8) ((triple6) -> rule3)) -> rule6) ((((triple6) -> rule3)) -> rule8)) -> rule4) OR ((((((((triple6) -> rule3)) -> rule8) ((((triple1) -> rule5)) -> rule3)) -> rule6) ((triple3) -> rule8)) -> rule4) OR ((((((triple3) -> rule8) ((((triple1) -> rule5)) -> rule3)) -> rule6) ((((((triple1) -> rule5)) -> rule3)) -> rule8)) -> rule4) OR ((((((((triple6) -> rule3)) -> rule8) ((triple2) -> rule1)) -> rule6) ((((((triple1) -> rule5)) -> rule3)) -> rule8)) -> rule4) OR ((((((((triple6) -> rule3)) -> rule8) ((triple6) -> rule3)) -> rule6) ((((((triple1) -> rule5)) -> rule3)) -> rule8)) -> rule4) OR ((((((((triple6) -> rule3)) -> rule8) ((((triple1) -> rule5)) -> rule3)) -> rule6) ((((triple6) -> rule3)) -> rule8)) -> rule4) OR ((((((((triple6) -> rule3)) -> rule8) ((((triple1) -> rule5)) -> rule3)) -> rule6) ((((((triple1) -> rule5)) -> rule3)) -> rule8)) -> rule4) OR ((((((((((triple1) -> rule5)) -> rule3)) -> rule8) triple3) -> rule6) triple2) -> rule4) OR ((((((((((triple1) -> rule5)) -> rule3)) -> rule8) triple3) -> rule6) ((triple3) -> rule8)) -> rule4) OR ((((((((((triple1) -> rule5)) -> rule3)) -> rule8) ((triple2) -> rule1)) -> rule6) triple2) -> rule4) OR ((((((((((triple1) -> rule5)) -> rule3)) -> rule8) ((triple6) -> rule3)) -> rule6) triple2) -> rule4) OR ((((((((((triple1) -> rule5)) -> rule3)) -> rule8) triple3) -> rule6) ((((triple6) -> rule3)) -> rule8)) -> rule4) OR ((((((((((triple1) -> rule5)) -> rule3)) -> rule8) ((triple2) -> rule1)) -> rule6) ((triple3) -> rule8)) -> rule4) OR ((((((((((triple1) -> rule5)) -> rule3)) -> rule8) ((triple6) -> rule3)) -> rule6) ((triple3) -> rule8)) -> rule4) OR ((((((((((triple1) -> rule5)) -> rule3)) -> rule8) ((((triple1) -> rule5)) -> rule3)) -> rule6) triple2) -> rule4) OR ((((((((((triple1) -> rule5)) -> rule3)) -> rule8) triple3) -> rule6) ((((((triple1) -> rule5)) -> rule3)) -> rule8)) -> rule4) OR ((((((((((triple1) -> rule5)) -> rule3)) -> rule8) ((triple2) -> rule1)) -> rule6) ((((triple6) -> rule3)) -> rule8)) -> rule4) OR ((((((((((triple1) -> rule5)) -> rule3)) -> rule8) ((triple6) -> rule3)) -> rule6) ((((triple6) -> rule3)) -> rule8)) -> rule4) OR ((((((((((triple1) -> rule5)) -> rule3)) -> rule8) ((((triple1) -> rule5)) -> rule3)) -> rule6) ((triple3) -> rule8)) -> rule4) OR ((((((((((triple1) -> rule5)) -> rule3)) -> rule8) ((triple2) -> rule1)) -> rule6) ((((((triple1) -> rule5)) -> rule3)) -> rule8)) -> rule4) OR ((((((((((triple1) -> rule5)) -> rule3)) -> rule8) ((triple6) -> rule3)) -> rule6) ((((((triple1) -> rule5)) -> rule3)) -> rule8)) -> rule4) OR ((((((((((triple1) -> rule5)) -> rule3)) -> rule8) ((((triple1) -> rule5)) -> rule3)) -> rule6) ((((triple6) -> rule3)) -> rule8)) -> rule4) OR ((((((((((triple1) -> rule5)) -> rule3)) -> rule8) ((((triple1) -> rule5)) -> rule3)) -> rule6) ((((((triple1) -> rule5)) -> rule3)) -> rule8)) -> rule4))] Erin is blue.[(triple8)] Erin is red.[(triple9)] Erin is rough.[(triple10 OR ((((((((triple8) -> rule5)) -> rule3)) -> rule8) ((((triple8) -> rule5)) -> rule3)) -> rule6))] Gary is red.[(triple11)] Gary is round.[(triple12)] Gary is smart.[(triple13 OR ((((((((triple12) -> rule3)) -> rule8) ((triple12) -> rule3)) -> rule6) ((((triple12) -> rule3)) -> rule8)) -> rule4))] Harry is blue.[(triple14)] @1: Erin is round.[(((triple8) -> rule5))] Gary is green.[(((triple12) -> rule3) OR ((triple11 triple13) -> rule2))] Harry is round.[(((triple14) -> rule5))] @2: Erin is green.[(((((triple8) -> rule5)) -> rule3))] Gary is cold.[(((((triple12) -> rule3)) -> rule8) OR ((((triple11 triple13) -> rule2)) -> rule8))] Harry is green.[(((((triple14) -> rule5)) -> rule3))] @3: Erin is cold.[(((((((triple8) -> rule5)) -> rule3)) -> rule8))] Gary is rough.[(((((((triple12) -> rule3)) -> rule8) ((triple12) -> rule3)) -> rule6) OR ((((((triple12) -> rule3)) -> rule8) ((triple11 triple13) -> rule2)) -> rule6) OR ((((((triple11 triple13) -> rule2)) -> rule8) ((triple12) -> rule3)) -> rule6) OR ((((((triple11 triple13) -> rule2)) -> rule8) ((triple11 triple13) -> rule2)) -> rule6))] Harry is cold.[(((((((triple14) -> rule5)) -> rule3)) -> rule8))] @4: Erin is smart.[(((triple10 ((((((triple8) -> rule5)) -> rule3)) -> rule8)) -> rule4) OR ((((((((((triple8) -> rule5)) -> rule3)) -> rule8) ((((triple8) -> rule5)) -> rule3)) -> rule6) ((((((triple8) -> rule5)) -> rule3)) -> rule8)) -> rule4))] Harry is rough.[(((((((((triple14) -> rule5)) -> rule3)) -> rule8) ((((triple14) -> rule5)) -> rule3)) -> rule6))] @5: Harry is smart.[(((((((((((triple14) -> rule5)) -> rule3)) -> rule8) ((((triple14) -> rule5)) -> rule3)) -> rule6) ((((((triple14) -> rule5)) -> rule3)) -> rule8)) -> rule4))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
((triple3) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((((triple6) -> (rule3 % int2))) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple4 triple7) -> (rule2 % int2))) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((((triple1) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
triple3
((triple2) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((triple6) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((triple4 triple7) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((triple4 ((triple5 triple2) -> (rule4 % int2))) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple5
((triple2 triple3) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((triple2 ((triple2) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((triple2 ((triple6) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((triple2 ((triple4 triple7) -> (rule2 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple3) -> (rule8 % int2)) triple3) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple3) -> (rule8 % int3)) ((triple2) -> (rule1 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((triple3) -> (rule8 % int3)) ((triple6) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((triple3) -> (rule8 % int3)) ((triple4 triple7) -> (rule2 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((triple2 ((((triple1) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((((triple6) -> (rule3 % int3))) -> (rule8 % int2)) triple3) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple4 triple7) -> (rule2 % int3))) -> (rule8 % int2)) triple3) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((triple3) -> (rule8 % int4)) ((((triple1) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple6) -> (rule3 % int3))) -> (rule8 % int2)) ((triple2) -> (rule1 % int3))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple6) -> (rule3 % int3))) -> (rule8 % int2)) ((triple6) -> (rule3 % int3))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple6) -> (rule3 % int3))) -> (rule8 % int2)) ((triple4 triple7) -> (rule2 % int3))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple4 triple7) -> (rule2 % int3))) -> (rule8 % int2)) ((triple2) -> (rule1 % int3))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple4 triple7) -> (rule2 % int3))) -> (rule8 % int2)) ((triple6) -> (rule3 % int3))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple4 triple7) -> (rule2 % int3))) -> (rule8 % int2)) ((triple4 triple7) -> (rule2 % int3))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple6) -> (rule3 % int4))) -> (rule8 % int3)) ((((triple1) -> (rule5 % int2))) -> (rule3 % int4))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple4 triple7) -> (rule2 % int4))) -> (rule8 % int3)) ((((triple1) -> (rule5 % int2))) -> (rule3 % int4))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) triple3) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple2) -> (rule1 % int3))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple6) -> (rule3 % int3))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((triple4 triple7) -> (rule2 % int3))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((((triple1) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple1) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
triple6
((triple1) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((triple1 triple3) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((triple1 ((triple2) -> (rule1 % int2))) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((triple1 ((triple4 triple7) -> (rule2 % int2))) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((triple1 ((triple4 ((triple5 triple2) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
triple7
((triple5 triple2) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((triple5 ((triple3) -> (rule8 % int2))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple2 triple3) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((triple2 triple3) -> (rule6 % int3)) ((triple3) -> (rule8 % int2))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((triple5 ((((triple6) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((triple2 ((triple2) -> (rule1 % int3))) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((triple2 ((triple6) -> (rule3 % int3))) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple3) -> (rule8 % int3)) triple3) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((triple2 triple3) -> (rule6 % int4)) ((((triple6) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((triple2 ((triple2) -> (rule1 % int4))) -> (rule6 % int3)) ((triple3) -> (rule8 % int2))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((triple2 ((triple6) -> (rule3 % int4))) -> (rule6 % int3)) ((triple3) -> (rule8 % int2))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple3) -> (rule8 % int3)) triple3) -> (rule6 % int2)) ((triple3) -> (rule8 % int3))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple3) -> (rule8 % int4)) ((triple2) -> (rule1 % int3))) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple3) -> (rule8 % int4)) ((triple6) -> (rule3 % int3))) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((triple2 ((triple2) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple6) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((triple2 ((triple6) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple6) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple3) -> (rule8 % int4)) triple3) -> (rule6 % int3)) ((((triple6) -> (rule3 % int2))) -> (rule8 % int4))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple3) -> (rule8 % int4)) ((triple2) -> (rule1 % int3))) -> (rule6 % int2)) ((triple3) -> (rule8 % int4))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple3) -> (rule8 % int4)) ((triple6) -> (rule3 % int3))) -> (rule6 % int2)) ((triple3) -> (rule8 % int4))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple3) -> (rule8 % int4)) ((triple2) -> (rule1 % int3))) -> (rule6 % int2)) ((((triple6) -> (rule3 % int3))) -> (rule8 % int4))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple3) -> (rule8 % int4)) ((triple6) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple6) -> (rule3 % int3))) -> (rule8 % int4))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((triple5 ((((((triple1) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple2 ((((triple1) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((((triple6) -> (rule3 % int4))) -> (rule8 % int3)) triple3) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((triple2 triple3) -> (rule6 % int5)) ((((((triple1) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((triple2 ((((triple1) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple3) -> (rule8 % int2))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((triple3) -> (rule8 % int5)) ((((triple1) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple6) -> (rule3 % int4))) -> (rule8 % int3)) triple3) -> (rule6 % int2)) ((triple3) -> (rule8 % int3))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple6) -> (rule3 % int4))) -> (rule8 % int3)) ((triple2) -> (rule1 % int4))) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple6) -> (rule3 % int4))) -> (rule8 % int3)) ((triple6) -> (rule3 % int4))) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((triple2 ((triple2) -> (rule1 % int5))) -> (rule6 % int4)) ((((((triple1) -> (rule5 % int3))) -> (rule3 % int5))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((triple2 ((triple6) -> (rule3 % int5))) -> (rule6 % int4)) ((((((triple1) -> (rule5 % int3))) -> (rule3 % int5))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((triple2 ((((triple1) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple6) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((triple3) -> (rule8 % int5)) triple3) -> (rule6 % int4)) ((((((triple1) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int5))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((triple3) -> (rule8 % int5)) ((((triple1) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((triple3) -> (rule8 % int5))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple6) -> (rule3 % int4))) -> (rule8 % int3)) triple3) -> (rule6 % int2)) ((((triple6) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple6) -> (rule3 % int4))) -> (rule8 % int3)) ((triple2) -> (rule1 % int4))) -> (rule6 % int2)) ((triple3) -> (rule8 % int3))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple6) -> (rule3 % int4))) -> (rule8 % int3)) ((triple6) -> (rule3 % int4))) -> (rule6 % int2)) ((triple3) -> (rule8 % int3))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple6) -> (rule3 % int5))) -> (rule8 % int4)) ((((triple1) -> (rule5 % int3))) -> (rule3 % int5))) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((triple2 ((((triple1) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((((triple1) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((triple3) -> (rule8 % int5)) ((triple2) -> (rule1 % int4))) -> (rule6 % int3)) ((((((triple1) -> (rule5 % int2))) -> (rule3 % int4))) -> (rule8 % int5))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((triple3) -> (rule8 % int5)) ((triple6) -> (rule3 % int4))) -> (rule6 % int3)) ((((((triple1) -> (rule5 % int2))) -> (rule3 % int4))) -> (rule8 % int5))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((triple3) -> (rule8 % int5)) ((((triple1) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple6) -> (rule3 % int3))) -> (rule8 % int5))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple6) -> (rule3 % int5))) -> (rule8 % int4)) triple3) -> (rule6 % int3)) ((((((triple1) -> (rule5 % int2))) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((((((triple6) -> (rule3 % int4))) -> (rule8 % int3)) ((triple2) -> (rule1 % int4))) -> (rule6 % int2)) ((((triple6) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple6) -> (rule3 % int4))) -> (rule8 % int3)) ((triple6) -> (rule3 % int4))) -> (rule6 % int2)) ((((triple6) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple6) -> (rule3 % int5))) -> (rule8 % int4)) ((((triple1) -> (rule5 % int3))) -> (rule3 % int5))) -> (rule6 % int2)) ((triple3) -> (rule8 % int4))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((((triple3) -> (rule8 % int5)) ((((triple1) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((((((triple1) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int5))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((triple6) -> (rule3 % int5))) -> (rule8 % int4)) ((triple2) -> (rule1 % int5))) -> (rule6 % int3)) ((((((triple1) -> (rule5 % int2))) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((((((triple6) -> (rule3 % int5))) -> (rule8 % int4)) ((triple6) -> (rule3 % int5))) -> (rule6 % int3)) ((((((triple1) -> (rule5 % int2))) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((((((triple6) -> (rule3 % int5))) -> (rule8 % int4)) ((((triple1) -> (rule5 % int3))) -> (rule3 % int5))) -> (rule6 % int2)) ((((triple6) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((((((triple6) -> (rule3 % int5))) -> (rule8 % int4)) ((((triple1) -> (rule5 % int3))) -> (rule3 % int5))) -> (rule6 % int2)) ((((((triple1) -> (rule5 % int3))) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((((((((triple1) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) triple3) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((((((triple1) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) triple3) -> (rule6 % int2)) ((triple3) -> (rule8 % int3))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((((((triple1) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((triple2) -> (rule1 % int4))) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((((((triple1) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((triple6) -> (rule3 % int4))) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((((((triple1) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) triple3) -> (rule6 % int2)) ((((triple6) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((((((triple1) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((triple2) -> (rule1 % int4))) -> (rule6 % int2)) ((triple3) -> (rule8 % int3))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((((((triple1) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((triple6) -> (rule3 % int4))) -> (rule6 % int2)) ((triple3) -> (rule8 % int3))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((((((triple1) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((((triple1) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((((((triple1) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) triple3) -> (rule6 % int2)) ((((((triple1) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((((((triple1) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((triple2) -> (rule1 % int4))) -> (rule6 % int2)) ((((triple6) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((((((triple1) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((triple6) -> (rule3 % int4))) -> (rule6 % int2)) ((((triple6) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((((((triple1) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((((triple1) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule6 % int2)) ((triple3) -> (rule8 % int3))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((((((triple1) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((triple2) -> (rule1 % int4))) -> (rule6 % int2)) ((((((triple1) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((((((triple1) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((triple6) -> (rule3 % int4))) -> (rule6 % int2)) ((((((triple1) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((((((triple1) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((((triple1) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule6 % int2)) ((((triple6) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((((((triple1) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((((triple1) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule6 % int2)) ((((((triple1) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Erin is blue.
("Erin" "is" "blue" "+")
triple8
Erin is red.
("Erin" "is" "red" "+")
triple9
Erin is rough.
("Erin" "is" "rough" "+")
triple10
((((((((triple8) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple8) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple12
Gary is smart.
("Gary" "is" "smart" "+")
triple13
((((((((triple12) -> (rule3 % int4))) -> (rule8 % int3)) ((triple12) -> (rule3 % int4))) -> (rule6 % int2)) ((((triple12) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
triple14
Erin is round.
("Erin" "is" "round" "+")
((triple8) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple12) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple11 triple13) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple14) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((((triple8) -> (rule5 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((((triple12) -> (rule3 % int2))) -> (rule8 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple11 triple13) -> (rule2 % int2))) -> (rule8 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((((triple14) -> (rule5 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
((((((triple8) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
((((((triple12) -> (rule3 % int3))) -> (rule8 % int2)) ((triple12) -> (rule3 % int3))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple12) -> (rule3 % int3))) -> (rule8 % int2)) ((triple11 triple13) -> (rule2 % int3))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple11 triple13) -> (rule2 % int3))) -> (rule8 % int2)) ((triple12) -> (rule3 % int3))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple11 triple13) -> (rule2 % int3))) -> (rule8 % int2)) ((triple11 triple13) -> (rule2 % int3))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
((((((triple14) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
((triple10 ((((((triple8) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((((((triple8) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((((triple8) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule6 % int2)) ((((((triple8) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Harry is rough.
("Harry" "is" "rough" "+")
((((((((triple14) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2)) ((((triple14) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
((((((((((triple14) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3)) ((((triple14) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule6 % int2)) ((((((triple14) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5