Bob is blue. Bob is nice. Bob is smart. Bob is white. Charlie is blue. Charlie is cold. Charlie is green. Charlie is smart. Charlie is young. Erin is blue. Erin is cold. Erin is green. Erin is nice. Erin is smart. Erin is white. Erin is young. If someone is green then they are young. All cold people are smart. All green people are smart. If someone is nice then they are cold. Cold, green people are nice. If someone is cold and blue then they are smart. If Charlie is green and Charlie is smart then Charlie is nice. Cold people are green.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
All cold people are smart.
((("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
All green people are smart.
((("someone" "is" "green" "+")) -> ("someone" "is" "smart" "+"))
If someone is nice then they are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Cold, green people are nice.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and blue then they are smart.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
If Charlie is green and Charlie is smart then Charlie is nice.
((("Charlie" "is" "green" "+") ("Charlie" "is" "smart" "+")) -> ("Charlie" "is" "nice" "+"))
Cold people are green.
((("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Charlie is smart.
True
1
proof
[(triple8 OR ((triple6) -> rule2) OR ((triple7) -> rule3) OR ((triple6 triple5) -> rule6) OR ((((triple6) -> rule8)) -> rule3))]
("Charlie" "is" "smart" "+")
triple8
((triple6) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((triple7) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((triple6 triple5) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((triple6) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is not smart.
False
1
inv-proof
[(triple8 OR ((triple6) -> rule2) OR ((triple7) -> rule3) OR ((triple6 triple5) -> rule6) OR ((((triple6) -> rule8)) -> rule3))]
("Charlie" "is" "smart" "-")
triple8
((triple6) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((triple7) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((triple6 triple5) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((triple6) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
True
3
proof
[(((triple6 triple7) -> rule5) OR ((triple7 triple8) -> rule7) OR ((triple6 ((triple6) -> rule8)) -> rule5) OR ((triple7 ((triple6) -> rule2)) -> rule7) OR ((triple7 ((triple7) -> rule3)) -> rule7) OR ((triple7 ((triple6 triple5) -> rule6)) -> rule7) OR ((((triple6) -> rule8) triple8) -> rule7) OR ((((triple6) -> rule8) ((triple6) -> rule2)) -> rule7) OR ((((triple6) -> rule8) ((triple7) -> rule3)) -> rule7) OR ((((triple6) -> rule8) ((triple6 triple5) -> rule6)) -> rule7) OR ((triple7 ((((triple6) -> rule8)) -> rule3)) -> rule7) OR ((((triple6) -> rule8) ((((triple6) -> rule8)) -> rule3)) -> rule7))]
("Charlie" "is" "nice" "+")
((triple6 triple7) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple7 triple8) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple6 ((triple6) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((triple7 ((triple6) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((triple7 ((triple7) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((triple7 ((triple6 triple5) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple6) -> (rule8 % int2)) triple8) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((((triple6) -> (rule8 % int3)) ((triple6) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple6) -> (rule8 % int3)) ((triple7) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple6) -> (rule8 % int3)) ((triple6 triple5) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((triple7 ((((triple6) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple6) -> (rule8 % int3)) ((((triple6) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is not nice.
False
3
inv-proof
[(((triple6 triple7) -> rule5) OR ((triple7 triple8) -> rule7) OR ((triple6 ((triple6) -> rule8)) -> rule5) OR ((triple7 ((triple6) -> rule2)) -> rule7) OR ((triple7 ((triple7) -> rule3)) -> rule7) OR ((triple7 ((triple6 triple5) -> rule6)) -> rule7) OR ((((triple6) -> rule8) triple8) -> rule7) OR ((((triple6) -> rule8) ((triple6) -> rule2)) -> rule7) OR ((((triple6) -> rule8) ((triple7) -> rule3)) -> rule7) OR ((((triple6) -> rule8) ((triple6 triple5) -> rule6)) -> rule7) OR ((triple7 ((((triple6) -> rule8)) -> rule3)) -> rule7) OR ((((triple6) -> rule8) ((((triple6) -> rule8)) -> rule3)) -> rule7))]
("Charlie" "is" "nice" "-")
((triple6 triple7) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple7 triple8) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple6 ((triple6) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((triple7 ((triple6) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((triple7 ((triple7) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((triple7 ((triple6 triple5) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple6) -> (rule8 % int2)) triple8) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((((triple6) -> (rule8 % int3)) ((triple6) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple6) -> (rule8 % int3)) ((triple7) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple6) -> (rule8 % int3)) ((triple6 triple5) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((triple7 ((((triple6) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple6) -> (rule8 % int3)) ((((triple6) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Bob is green.
True
3
proof
[(((((triple2) -> rule4)) -> rule8))]
("Bob" "is" "green" "+")
((((triple2) -> (rule4 % int2))) -> (rule8 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is not green.
False
3
inv-proof
[(((((triple2) -> rule4)) -> rule8))]
("Bob" "is" "green" "-")
((((triple2) -> (rule4 % int2))) -> (rule8 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
True
4
proof
[(((((((triple2) -> rule4)) -> rule8)) -> rule1))]
("Bob" "is" "young" "+")
((((((triple2) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is not young.
False
4
inv-proof
[(((((((triple2) -> rule4)) -> rule8)) -> rule1))]
("Bob" "is" "young" "-")
((((((triple2) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
@0: Bob is blue.[(triple1)] Bob is nice.[(triple2)] Bob is smart.[(triple3 OR ((((triple2) -> rule4)) -> rule2) OR ((((triple2) -> rule4) triple1) -> rule6) OR ((((((triple2) -> rule4)) -> rule8)) -> rule3))] Bob is white.[(triple4)] Charlie is blue.[(triple5)] Charlie is cold.[(triple6 OR ((((triple7 triple8) -> rule7)) -> rule4) OR ((((triple7 ((triple7) -> rule3)) -> rule7)) -> rule4))] Charlie is green.[(triple7 OR ((triple6) -> rule8))] Charlie is smart.[(triple8 OR ((triple6) -> rule2) OR ((triple7) -> rule3) OR ((triple6 triple5) -> rule6) OR ((((triple6) -> rule8)) -> rule3))] Charlie is young.[(triple9 OR ((triple7) -> rule1) OR ((((triple6) -> rule8)) -> rule1))] Erin is blue.[(triple10)] Erin is cold.[(triple11 OR ((triple13) -> rule4))] Erin is green.[(triple12 OR ((triple11) -> rule8) OR ((((triple13) -> rule4)) -> rule8))] Erin is nice.[(triple13 OR ((triple11 triple12) -> rule5) OR ((triple11 ((triple11) -> rule8)) -> rule5))] Erin is smart.[(triple14 OR ((triple11) -> rule2) OR ((triple12) -> rule3) OR ((triple11 triple10) -> rule6) OR ((((triple11) -> rule8)) -> rule3) OR ((((triple13) -> rule4)) -> rule2) OR ((((triple13) -> rule4) triple10) -> rule6) OR ((((((triple13) -> rule4)) -> rule8)) -> rule3))] Erin is white.[(triple15)] Erin is young.[(triple16 OR ((triple12) -> rule1) OR ((((triple11) -> rule8)) -> rule1) OR ((((((triple13) -> rule4)) -> rule8)) -> rule1))] @1: Bob is cold.[(((triple2) -> rule4))] Charlie is nice.[(((triple6 triple7) -> rule5) OR ((triple7 triple8) -> rule7) OR ((triple6 ((triple6) -> rule8)) -> rule5) OR ((triple7 ((triple6) -> rule2)) -> rule7) OR ((triple7 ((triple7) -> rule3)) -> rule7) OR ((triple7 ((triple6 triple5) -> rule6)) -> rule7) OR ((((triple6) -> rule8) triple8) -> rule7) OR ((((triple6) -> rule8) ((triple6) -> rule2)) -> rule7) OR ((((triple6) -> rule8) ((triple7) -> rule3)) -> rule7) OR ((((triple6) -> rule8) ((triple6 triple5) -> rule6)) -> rule7) OR ((triple7 ((((triple6) -> rule8)) -> rule3)) -> rule7) OR ((((triple6) -> rule8) ((((triple6) -> rule8)) -> rule3)) -> rule7))] @2: Bob is green.[(((((triple2) -> rule4)) -> rule8))] @3: Bob is young.[(((((((triple2) -> rule4)) -> rule8)) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
triple3
((((triple2) -> (rule4 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple2) -> (rule4 % int2)) triple1) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((((triple2) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
triple4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
((((triple7 triple8) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple7 ((triple7) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
triple7
((triple6) -> (rule8 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple8
((triple6) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((triple7) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((triple6 triple5) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((triple6) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
triple9
((triple7) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((triple6) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
triple10
Erin is cold.
("Erin" "is" "cold" "+")
triple11
((triple13) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
triple12
((triple11) -> (rule8 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((triple13) -> (rule4 % int2))) -> (rule8 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
triple13
((triple11 triple12) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((triple11 ((triple11) -> (rule8 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
triple14
((triple11) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((triple12) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((triple11 triple10) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((((triple11) -> (rule8 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple13) -> (rule4 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple13) -> (rule4 % int2)) triple10) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((((triple13) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
triple15
Erin is young.
("Erin" "is" "young" "+")
triple16
((triple12) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((((triple11) -> (rule8 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((((triple13) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
((triple2) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple6 triple7) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple7 triple8) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple6 ((triple6) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((triple7 ((triple6) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((triple7 ((triple7) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((triple7 ((triple6 triple5) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple6) -> (rule8 % int2)) triple8) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((((triple6) -> (rule8 % int3)) ((triple6) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple6) -> (rule8 % int3)) ((triple7) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple6) -> (rule8 % int3)) ((triple6 triple5) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((triple7 ((((triple6) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple6) -> (rule8 % int3)) ((((triple6) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
((((triple2) -> (rule4 % int2))) -> (rule8 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((((((triple2) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3