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