Charlie is quiet. Charlie is round. Charlie is smart. Fiona is cold. Fiona is quiet. Fiona is red. Fiona is round. Fiona is smart. Harry is cold. Harry is nice. Harry is quiet. Harry is red. Harry is round. Harry is smart. Harry is young. If Fiona is smart then Fiona is round. All smart, cold people are red. Round, smart people are red. If Fiona is red then Fiona is young. If someone is cold then they are young. All cold people are young. If someone is red then they are cold. All cold, nice people are round.
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
If Fiona is smart then Fiona is round.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "round" "+"))
All smart, cold people are red.
((("someone" "is" "smart" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Round, smart people are red.
((("someone" "is" "round" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "red" "+"))
If Fiona is red then Fiona is young.
((("Fiona" "is" "red" "+")) -> ("Fiona" "is" "young" "+"))
If someone is cold then they are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
All cold people are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is red then they are cold.
((("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
All cold, nice people are round.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Charlie is smart.
True
1
proof
[(triple3)]
("Charlie" "is" "smart" "+")
triple3
Fiona is not cold.
False
1
inv-proof
[(triple4 OR ((triple6) -> rule7) OR ((((triple7 triple8) -> rule3)) -> rule7) OR ((((((triple8) -> rule1) triple8) -> rule3)) -> rule7))]
("Fiona" "is" "cold" "-")
triple4
((triple6) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((((triple7 triple8) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((((triple8) -> (rule1 % int3)) triple8) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is young.
True
2
proof
[(((triple4) -> rule5) OR ((triple4) -> rule6) OR ((triple6) -> rule4) OR ((((triple6) -> rule7)) -> rule5) OR ((((triple6) -> rule7)) -> rule6) OR ((((triple7 triple8) -> rule3)) -> rule4) OR ((((triple8 triple4) -> rule2)) -> rule4) OR ((((((triple7 triple8) -> rule3)) -> rule7)) -> rule5) OR ((((((triple7 triple8) -> rule3)) -> rule7)) -> rule6) OR ((((((triple8) -> rule1) triple8) -> rule3)) -> rule4) OR ((((((((triple8) -> rule1) triple8) -> rule3)) -> rule7)) -> rule5) OR ((((((((triple8) -> rule1) triple8) -> rule3)) -> rule7)) -> rule6))]
("Fiona" "is" "young" "+")
((triple4) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((triple4) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((triple6) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((((triple6) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple6) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple7 triple8) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((triple8 triple4) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((((triple7 triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((((triple7 triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((((triple8) -> (rule1 % int3)) triple8) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((((triple8) -> (rule1 % int4)) triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((((triple8) -> (rule1 % int4)) triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is not young.
False
2
inv-proof
[(((triple4) -> rule5) OR ((triple4) -> rule6) OR ((triple6) -> rule4) OR ((((triple6) -> rule7)) -> rule5) OR ((((triple6) -> rule7)) -> rule6) OR ((((triple7 triple8) -> rule3)) -> rule4) OR ((((triple8 triple4) -> rule2)) -> rule4) OR ((((((triple7 triple8) -> rule3)) -> rule7)) -> rule5) OR ((((((triple7 triple8) -> rule3)) -> rule7)) -> rule6) OR ((((((triple8) -> rule1) triple8) -> rule3)) -> rule4) OR ((((((((triple8) -> rule1) triple8) -> rule3)) -> rule7)) -> rule5) OR ((((((((triple8) -> rule1) triple8) -> rule3)) -> rule7)) -> rule6))]
("Fiona" "is" "young" "-")
((triple4) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((triple4) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((triple6) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((((triple6) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple6) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple7 triple8) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((triple8 triple4) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((((triple7 triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((((triple7 triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((((triple8) -> (rule1 % int3)) triple8) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((((triple8) -> (rule1 % int4)) triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((((triple8) -> (rule1 % int4)) triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Charlie is cold.
True
4
proof
[(((((triple2 triple3) -> rule3)) -> rule7))]
("Charlie" "is" "cold" "+")
((((triple2 triple3) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is not cold.
False
4
inv-proof
[(((((triple2 triple3) -> rule3)) -> rule7))]
("Charlie" "is" "cold" "-")
((((triple2 triple3) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
True
5
proof
[(((((((triple2 triple3) -> rule3)) -> rule7)) -> rule5) OR ((((((triple2 triple3) -> rule3)) -> rule7)) -> rule6))]
("Charlie" "is" "young" "+")
((((((triple2 triple3) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((((triple2 triple3) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is not young.
False
5
inv-proof
[(((((((triple2 triple3) -> rule3)) -> rule7)) -> rule5) OR ((((((triple2 triple3) -> rule3)) -> rule7)) -> rule6))]
("Charlie" "is" "young" "-")
((((((triple2 triple3) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((((triple2 triple3) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
@0: Charlie is quiet.[(triple1)] Charlie is round.[(triple2)] Charlie is smart.[(triple3)] Fiona is cold.[(triple4 OR ((triple6) -> rule7) OR ((((triple7 triple8) -> rule3)) -> rule7) OR ((((((triple8) -> rule1) triple8) -> rule3)) -> rule7))] Fiona is quiet.[(triple5)] Fiona is red.[(triple6 OR ((triple7 triple8) -> rule3) OR ((triple8 triple4) -> rule2) OR ((((triple8) -> rule1) triple8) -> rule3))] Fiona is round.[(triple7 OR ((triple8) -> rule1))] Fiona is smart.[(triple8)] Harry is cold.[(triple9 OR ((triple12) -> rule7) OR ((((triple13 triple14) -> rule3)) -> rule7))] Harry is nice.[(triple10)] Harry is quiet.[(triple11)] Harry is red.[(triple12 OR ((triple13 triple14) -> rule3) OR ((triple14 triple9) -> rule2) OR ((((triple9 triple10) -> rule8) triple14) -> rule3))] Harry is round.[(triple13 OR ((triple9 triple10) -> rule8) OR ((((triple12) -> rule7) triple10) -> rule8))] Harry is smart.[(triple14)] Harry is young.[(triple15 OR ((triple9) -> rule5) OR ((triple9) -> rule6) OR ((((triple12) -> rule7)) -> rule5) OR ((((triple12) -> rule7)) -> rule6) OR ((((((triple13 triple14) -> rule3)) -> rule7)) -> rule5) OR ((((((triple13 triple14) -> rule3)) -> rule7)) -> rule6))] @1: Charlie is red.[(((triple2 triple3) -> rule3))] Fiona is young.[(((triple4) -> rule5) OR ((triple4) -> rule6) OR ((triple6) -> rule4) OR ((((triple6) -> rule7)) -> rule5) OR ((((triple6) -> rule7)) -> rule6) OR ((((triple7 triple8) -> rule3)) -> rule4) OR ((((triple8 triple4) -> rule2)) -> rule4) OR ((((((triple7 triple8) -> rule3)) -> rule7)) -> rule5) OR ((((((triple7 triple8) -> rule3)) -> rule7)) -> rule6) OR ((((((triple8) -> rule1) triple8) -> rule3)) -> rule4) OR ((((((((triple8) -> rule1) triple8) -> rule3)) -> rule7)) -> rule5) OR ((((((((triple8) -> rule1) triple8) -> rule3)) -> rule7)) -> rule6))] @2: Charlie is cold.[(((((triple2 triple3) -> rule3)) -> rule7))] @3: Charlie is young.[(((((((triple2 triple3) -> rule3)) -> rule7)) -> rule5) OR ((((((triple2 triple3) -> rule3)) -> rule7)) -> rule6))]
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple1
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
((triple6) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((((triple7 triple8) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((((triple8) -> (rule1 % int3)) triple8) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple6
((triple7 triple8) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((triple8 triple4) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((((triple8) -> (rule1 % int2)) triple8) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
triple7
((triple8) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple9
((triple12) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((((triple13 triple14) -> (rule3 % int2))) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is quiet.
("Harry" "is" "quiet" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple12
((triple13 triple14) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((triple14 triple9) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((((triple9 triple10) -> (rule8 % int2)) triple14) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
triple13
((triple9 triple10) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((triple12) -> (rule7 % int2)) triple10) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple15
((triple9) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple9) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((((triple12) -> (rule7 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((triple12) -> (rule7 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
((((((triple13 triple14) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple13 triple14) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
((triple2 triple3) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple4) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((triple4) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((triple6) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((((triple6) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple6) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple7 triple8) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((triple8 triple4) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((((triple7 triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((((triple7 triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((((triple8) -> (rule1 % int3)) triple8) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((((triple8) -> (rule1 % int4)) triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((((triple8) -> (rule1 % int4)) triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
((((triple2 triple3) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((((((triple2 triple3) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((((triple2 triple3) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3