Bob is big. Bob is cold. Bob is green. Bob is nice. Bob is red. Bob is young. Charlie is green. Charlie is red. Charlie is young. Dave is big. Dave is cold. Dave is green. Dave is kind. Dave is nice. Dave is red. Dave is young. If Bob is nice then Bob is red. All young things are red. All nice things are kind. If something is kind then it is cold. Cold things are young. All green, red things are nice.
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is young.
("Dave" "is" "young" "+")
If Bob is nice then Bob is red.
((("Bob" "is" "nice" "+")) -> ("Bob" "is" "red" "+"))
All young things are red.
((("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
All nice things are kind.
((("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
If something is kind then it is cold.
((("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
Cold things are young.
((("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
All green, red things are nice.
((("something" "is" "green" "+") ("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
Charlie is young.
True
1
proof
[(triple9 OR ((((((((triple7 triple8) -> rule6)) -> rule3)) -> rule4)) -> rule5))]
("Charlie" "is" "young" "+")
triple9
((((((((triple7 triple8) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Bob is not red.
False
1
inv-proof
[(triple5 OR ((triple4) -> rule1) OR ((triple6) -> rule2) OR ((((triple2) -> rule5)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule4)) -> rule5)) -> rule2))]
("Bob" "is" "red" "-")
triple5
((triple4) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((triple6) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((((triple2) -> (rule5 % int2))) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((((((triple4) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Charlie is nice.
True
3
proof
[(((triple7 triple8) -> rule6) OR ((triple7 ((triple9) -> rule2)) -> rule6))]
("Charlie" "is" "nice" "+")
((triple7 triple8) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple7 ((triple9) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Bob is not kind.
False
2
inv-proof
[(((triple4) -> rule3) OR ((((triple3 triple5) -> rule6)) -> rule3) OR ((((triple3 ((triple6) -> rule2)) -> rule6)) -> rule3) OR ((((triple3 ((((triple2) -> rule5)) -> rule2)) -> rule6)) -> rule3))]
("Bob" "is" "kind" "-")
((triple4) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((((triple3 triple5) -> (rule6 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple3 ((triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple3 ((((triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Charlie is kind.
True
4
proof
[(((((triple7 triple8) -> rule6)) -> rule3) OR ((((triple7 ((triple9) -> rule2)) -> rule6)) -> rule3))]
("Charlie" "is" "kind" "+")
((((triple7 triple8) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple7 ((triple9) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is not kind.
False
4
inv-proof
[(((((triple7 triple8) -> rule6)) -> rule3) OR ((((triple7 ((triple9) -> rule2)) -> rule6)) -> rule3))]
("Charlie" "is" "kind" "-")
((((triple7 triple8) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple7 ((triple9) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is cold.
True
5
proof
[(((((((triple7 triple8) -> rule6)) -> rule3)) -> rule4) OR ((((((triple7 ((triple9) -> rule2)) -> rule6)) -> rule3)) -> rule4))]
("Charlie" "is" "cold" "+")
((((((triple7 triple8) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((((triple7 ((triple9) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is not cold.
False
5
inv-proof
[(((((((triple7 triple8) -> rule6)) -> rule3)) -> rule4) OR ((((((triple7 ((triple9) -> rule2)) -> rule6)) -> rule3)) -> rule4))]
("Charlie" "is" "cold" "-")
((((((triple7 triple8) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((((triple7 ((triple9) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((((triple4) -> rule3)) -> rule4) OR ((((((triple3 triple5) -> rule6)) -> rule3)) -> rule4) OR ((((((triple3 ((triple6) -> rule2)) -> rule6)) -> rule3)) -> rule4))] Bob is green.[(triple3)] Bob is nice.[(triple4 OR ((triple3 triple5) -> rule6) OR ((triple3 ((triple6) -> rule2)) -> rule6) OR ((triple3 ((((triple2) -> rule5)) -> rule2)) -> rule6))] Bob is red.[(triple5 OR ((triple4) -> rule1) OR ((triple6) -> rule2) OR ((((triple2) -> rule5)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule4)) -> rule5)) -> rule2))] Bob is young.[(triple6 OR ((triple2) -> rule5) OR ((((((triple4) -> rule3)) -> rule4)) -> rule5) OR ((((((((triple3 triple5) -> rule6)) -> rule3)) -> rule4)) -> rule5))] Charlie is green.[(triple7)] Charlie is red.[(triple8 OR ((triple9) -> rule2))] Charlie is young.[(triple9 OR ((((((((triple7 triple8) -> rule6)) -> rule3)) -> rule4)) -> rule5))] Dave is big.[(triple10)] Dave is cold.[(triple11 OR ((triple13) -> rule4) OR ((((triple14) -> rule3)) -> rule4) OR ((((((triple12 triple15) -> rule6)) -> rule3)) -> rule4) OR ((((((triple12 ((triple16) -> rule2)) -> rule6)) -> rule3)) -> rule4))] Dave is green.[(triple12)] Dave is kind.[(triple13 OR ((triple14) -> rule3) OR ((((triple12 triple15) -> rule6)) -> rule3) OR ((((triple12 ((triple16) -> rule2)) -> rule6)) -> rule3) OR ((((triple12 ((((triple11) -> rule5)) -> rule2)) -> rule6)) -> rule3))] Dave is nice.[(triple14 OR ((triple12 triple15) -> rule6) OR ((triple12 ((triple16) -> rule2)) -> rule6) OR ((triple12 ((((triple11) -> rule5)) -> rule2)) -> rule6) OR ((triple12 ((((((triple13) -> rule4)) -> rule5)) -> rule2)) -> rule6))] Dave is red.[(triple15 OR ((triple16) -> rule2) OR ((((triple11) -> rule5)) -> rule2) OR ((((((triple13) -> rule4)) -> rule5)) -> rule2) OR ((((((((triple14) -> rule3)) -> rule4)) -> rule5)) -> rule2))] Dave is young.[(triple16 OR ((triple11) -> rule5) OR ((((triple13) -> rule4)) -> rule5) OR ((((((triple14) -> rule3)) -> rule4)) -> rule5) OR ((((((((triple12 triple15) -> rule6)) -> rule3)) -> rule4)) -> rule5))] @1: Bob is kind.[(((triple4) -> rule3) OR ((((triple3 triple5) -> rule6)) -> rule3) OR ((((triple3 ((triple6) -> rule2)) -> rule6)) -> rule3) OR ((((triple3 ((((triple2) -> rule5)) -> rule2)) -> rule6)) -> rule3))] Charlie is nice.[(((triple7 triple8) -> rule6) OR ((triple7 ((triple9) -> rule2)) -> rule6))] @2: Charlie is kind.[(((((triple7 triple8) -> rule6)) -> rule3) OR ((((triple7 ((triple9) -> rule2)) -> rule6)) -> rule3))] @3: Charlie is cold.[(((((((triple7 triple8) -> rule6)) -> rule3)) -> rule4) OR ((((((triple7 ((triple9) -> rule2)) -> rule6)) -> rule3)) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
((((triple4) -> (rule3 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((((triple3 triple5) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((((triple3 ((triple6) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple4
((triple3 triple5) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple3 ((triple6) -> (rule2 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((triple3 ((((triple2) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
triple5
((triple4) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((triple6) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((((triple2) -> (rule5 % int2))) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((((((triple4) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
triple6
((triple2) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((((triple4) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((((triple3 triple5) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
triple8
((triple9) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
triple9
((((((((triple7 triple8) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
triple10
Dave is cold.
("Dave" "is" "cold" "+")
triple11
((triple13) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((((triple14) -> (rule3 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((((triple12 triple15) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((((triple12 ((triple16) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
triple12
Dave is kind.
("Dave" "is" "kind" "+")
triple13
((triple14) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((((triple12 triple15) -> (rule6 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((triple12 ((triple16) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((triple12 ((((triple11) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
triple14
((triple12 triple15) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((triple12 ((triple16) -> (rule2 % int2))) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((triple12 ((((triple11) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((triple12 ((((((triple13) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
triple15
((triple16) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((((triple11) -> (rule5 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((((triple13) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((((((triple14) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
triple16
((triple11) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((((triple13) -> (rule4 % int2))) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
((((((triple14) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((((((triple12 triple15) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
((triple4) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((((triple3 triple5) -> (rule6 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple3 ((triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple3 ((((triple2) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple7 triple8) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple7 ((triple9) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((((triple7 triple8) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple7 ((triple9) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
((((((triple7 triple8) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((((triple7 ((triple9) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4