Anne is cold. Anne is furry. Charlie is quiet. Dave is furry. Dave is red. Dave is young. Gary is cold. Gary is furry. Gary is nice. Gary is young. Nice, young people are red. All red people are smart. All quiet, smart people are cold. All quiet people are nice. All nice people are young. All quiet people are nice. All nice people are quiet. All red, young people are smart.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is young.
("Dave" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is young.
("Gary" "is" "young" "+")
Nice, young people are red.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
All red people are smart.
((("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
All quiet, smart people are cold.
((("someone" "is" "quiet" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
All quiet people are nice.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "nice" "+"))
All nice people are young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
All quiet people are nice.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "nice" "+"))
All nice people are quiet.
((("someone" "is" "nice" "+")) -> ("someone" "is" "quiet" "+"))
All red, young people are smart.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
Dave is red.
True
1
proof
[(triple5)]
("Dave" "is" "red" "+")
triple5
Dave is not red.
False
1
inv-proof
[(triple5)]
("Dave" "is" "red" "-")
triple5
Dave is smart.
True
2
proof
[(((triple5) -> rule2) OR ((triple5 triple6) -> rule8))]
("Dave" "is" "smart" "+")
((triple5) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((triple5 triple6) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Gary is not quiet.
False
2
inv-proof
[(((triple9) -> rule7))]
("Gary" "is" "quiet" "-")
((triple9) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Charlie is young.
True
3
proof
[(((((triple3) -> rule4)) -> rule5) OR ((((triple3) -> rule6)) -> rule5))]
("Charlie" "is" "young" "+")
((((triple3) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple3) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Gary is not smart.
False
4
inv-proof
[(((((triple9 triple10) -> rule1)) -> rule2) OR ((((triple9 triple10) -> rule1) triple10) -> rule8) OR ((((triple9 triple10) -> rule1) ((triple9) -> rule5)) -> rule8) OR ((((triple9 ((triple9) -> rule5)) -> rule1)) -> rule2) OR ((((triple9 ((triple9) -> rule5)) -> rule1) triple10) -> rule8) OR ((((triple9 ((triple9) -> rule5)) -> rule1) ((triple9) -> rule5)) -> rule8))]
("Gary" "is" "smart" "-")
((((triple9 triple10) -> (rule1 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((triple9 triple10) -> (rule1 % int2)) triple10) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((triple9 triple10) -> (rule1 % int3)) ((triple9) -> (rule5 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple9 ((triple9) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((triple9 ((triple9) -> (rule5 % int3))) -> (rule1 % int2)) triple10) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((triple9 ((triple9) -> (rule5 % int3))) -> (rule1 % int2)) ((triple9) -> (rule5 % int3))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Charlie is red.
True
6
proof
[(((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule5)) -> rule1) OR ((((triple3) -> rule4) ((((triple3) -> rule6)) -> rule5)) -> rule1) OR ((((triple3) -> rule6) ((((triple3) -> rule4)) -> rule5)) -> rule1) OR ((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule5)) -> rule1))]
("Charlie" "is" "red" "+")
((((triple3) -> (rule4 % int3)) ((((triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((triple3) -> (rule4 % int3)) ((((triple3) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((triple3) -> (rule6 % int3)) ((((triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((triple3) -> (rule6 % int3)) ((((triple3) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is not red.
False
6
inv-proof
[(((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule5)) -> rule1) OR ((((triple3) -> rule4) ((((triple3) -> rule6)) -> rule5)) -> rule1) OR ((((triple3) -> rule6) ((((triple3) -> rule4)) -> rule5)) -> rule1) OR ((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule5)) -> rule1))]
("Charlie" "is" "red" "-")
((((triple3) -> (rule4 % int3)) ((((triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((triple3) -> (rule4 % int3)) ((((triple3) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((triple3) -> (rule6 % int3)) ((((triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((triple3) -> (rule6 % int3)) ((((triple3) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is smart.
True
7
proof
[(((((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule5)) -> rule1)) -> rule2) OR ((((((triple3) -> rule4) ((((triple3) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((triple3) -> rule6) ((((triple3) -> rule4)) -> rule5)) -> rule1)) -> rule2) OR ((((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule5)) -> rule1) ((((triple3) -> rule4)) -> rule5)) -> rule8) OR ((((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule5)) -> rule1) ((((triple3) -> rule6)) -> rule5)) -> rule8) OR ((((((triple3) -> rule4) ((((triple3) -> rule6)) -> rule5)) -> rule1) ((((triple3) -> rule4)) -> rule5)) -> rule8) OR ((((((triple3) -> rule4) ((((triple3) -> rule6)) -> rule5)) -> rule1) ((((triple3) -> rule6)) -> rule5)) -> rule8) OR ((((((triple3) -> rule6) ((((triple3) -> rule4)) -> rule5)) -> rule1) ((((triple3) -> rule4)) -> rule5)) -> rule8) OR ((((((triple3) -> rule6) ((((triple3) -> rule4)) -> rule5)) -> rule1) ((((triple3) -> rule6)) -> rule5)) -> rule8) OR ((((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule5)) -> rule1) ((((triple3) -> rule4)) -> rule5)) -> rule8) OR ((((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule5)) -> rule1) ((((triple3) -> rule6)) -> rule5)) -> rule8))]
("Charlie" "is" "smart" "+")
((((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule6 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule6 % int4)) ((((triple3) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule6 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule6 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule6 % int4)) ((((triple3) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule6 % int4)) ((((triple3) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is not smart.
False
7
inv-proof
[(((((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule5)) -> rule1)) -> rule2) OR ((((((triple3) -> rule4) ((((triple3) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((triple3) -> rule6) ((((triple3) -> rule4)) -> rule5)) -> rule1)) -> rule2) OR ((((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule5)) -> rule1) ((((triple3) -> rule4)) -> rule5)) -> rule8) OR ((((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule5)) -> rule1) ((((triple3) -> rule6)) -> rule5)) -> rule8) OR ((((((triple3) -> rule4) ((((triple3) -> rule6)) -> rule5)) -> rule1) ((((triple3) -> rule4)) -> rule5)) -> rule8) OR ((((((triple3) -> rule4) ((((triple3) -> rule6)) -> rule5)) -> rule1) ((((triple3) -> rule6)) -> rule5)) -> rule8) OR ((((((triple3) -> rule6) ((((triple3) -> rule4)) -> rule5)) -> rule1) ((((triple3) -> rule4)) -> rule5)) -> rule8) OR ((((((triple3) -> rule6) ((((triple3) -> rule4)) -> rule5)) -> rule1) ((((triple3) -> rule6)) -> rule5)) -> rule8) OR ((((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule5)) -> rule1) ((((triple3) -> rule4)) -> rule5)) -> rule8) OR ((((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule5)) -> rule1) ((((triple3) -> rule6)) -> rule5)) -> rule8))]
("Charlie" "is" "smart" "-")
((((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule6 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule6 % int4)) ((((triple3) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule6 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule6 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule6 % int4)) ((((triple3) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule6 % int4)) ((((triple3) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is cold.
True
9
proof
[(((triple3 ((((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule5)) -> rule1)) -> rule2)) -> rule3) OR ((triple3 ((((((triple3) -> rule4) ((((triple3) -> rule6)) -> rule5)) -> rule1)) -> rule2)) -> rule3) OR ((triple3 ((((((triple3) -> rule6) ((((triple3) -> rule4)) -> rule5)) -> rule1)) -> rule2)) -> rule3) OR ((triple3 ((((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule5)) -> rule1)) -> rule2)) -> rule3) OR ((triple3 ((((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule5)) -> rule1) ((((triple3) -> rule4)) -> rule5)) -> rule8)) -> rule3) OR ((triple3 ((((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule5)) -> rule1) ((((triple3) -> rule6)) -> rule5)) -> rule8)) -> rule3) OR ((triple3 ((((((triple3) -> rule4) ((((triple3) -> rule6)) -> rule5)) -> rule1) ((((triple3) -> rule4)) -> rule5)) -> rule8)) -> rule3) OR ((triple3 ((((((triple3) -> rule4) ((((triple3) -> rule6)) -> rule5)) -> rule1) ((((triple3) -> rule6)) -> rule5)) -> rule8)) -> rule3) OR ((triple3 ((((((triple3) -> rule6) ((((triple3) -> rule4)) -> rule5)) -> rule1) ((((triple3) -> rule4)) -> rule5)) -> rule8)) -> rule3) OR ((triple3 ((((((triple3) -> rule6) ((((triple3) -> rule4)) -> rule5)) -> rule1) ((((triple3) -> rule6)) -> rule5)) -> rule8)) -> rule3) OR ((triple3 ((((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule5)) -> rule1) ((((triple3) -> rule4)) -> rule5)) -> rule8)) -> rule3) OR ((triple3 ((((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule5)) -> rule1) ((((triple3) -> rule6)) -> rule5)) -> rule8)) -> rule3))]
("Charlie" "is" "cold" "+")
((triple3 ((((((triple3) -> (rule4 % int5)) ((((triple3) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule4 % int5)) ((((triple3) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule6 % int5)) ((((triple3) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule6 % int5)) ((((triple3) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule4 % int5)) ((((triple3) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule4 % int5)) ((((triple3) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule4 % int5)) ((((triple3) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule4 % int5)) ((((triple3) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule6 % int5)) ((((triple3) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule6 % int5)) ((((triple3) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule6 % int5)) ((((triple3) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule6 % int5)) ((((triple3) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
Charlie is not cold.
False
9
inv-proof
[(((triple3 ((((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule5)) -> rule1)) -> rule2)) -> rule3) OR ((triple3 ((((((triple3) -> rule4) ((((triple3) -> rule6)) -> rule5)) -> rule1)) -> rule2)) -> rule3) OR ((triple3 ((((((triple3) -> rule6) ((((triple3) -> rule4)) -> rule5)) -> rule1)) -> rule2)) -> rule3) OR ((triple3 ((((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule5)) -> rule1)) -> rule2)) -> rule3) OR ((triple3 ((((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule5)) -> rule1) ((((triple3) -> rule4)) -> rule5)) -> rule8)) -> rule3) OR ((triple3 ((((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule5)) -> rule1) ((((triple3) -> rule6)) -> rule5)) -> rule8)) -> rule3) OR ((triple3 ((((((triple3) -> rule4) ((((triple3) -> rule6)) -> rule5)) -> rule1) ((((triple3) -> rule4)) -> rule5)) -> rule8)) -> rule3) OR ((triple3 ((((((triple3) -> rule4) ((((triple3) -> rule6)) -> rule5)) -> rule1) ((((triple3) -> rule6)) -> rule5)) -> rule8)) -> rule3) OR ((triple3 ((((((triple3) -> rule6) ((((triple3) -> rule4)) -> rule5)) -> rule1) ((((triple3) -> rule4)) -> rule5)) -> rule8)) -> rule3) OR ((triple3 ((((((triple3) -> rule6) ((((triple3) -> rule4)) -> rule5)) -> rule1) ((((triple3) -> rule6)) -> rule5)) -> rule8)) -> rule3) OR ((triple3 ((((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule5)) -> rule1) ((((triple3) -> rule4)) -> rule5)) -> rule8)) -> rule3) OR ((triple3 ((((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule5)) -> rule1) ((((triple3) -> rule6)) -> rule5)) -> rule8)) -> rule3))]
("Charlie" "is" "cold" "-")
((triple3 ((((((triple3) -> (rule4 % int5)) ((((triple3) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule4 % int5)) ((((triple3) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule6 % int5)) ((((triple3) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule6 % int5)) ((((triple3) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule4 % int5)) ((((triple3) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule4 % int5)) ((((triple3) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule4 % int5)) ((((triple3) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule4 % int5)) ((((triple3) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule6 % int5)) ((((triple3) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule6 % int5)) ((((triple3) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule6 % int5)) ((((triple3) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule6 % int5)) ((((triple3) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
Anne is not smart.
Unknown
inv-rconc
[@5: Anne is smart.[CWA. Example of deepest failure = (rule2 <- rule1 <- rule4 <- rule7 <- rule6 <- FAIL)]]
("Anne" "is" "smart" "-")
Anne is young.
Unknown
rconc
[@4: Anne is young.[CWA. Example of deepest failure = (rule5 <- rule4 <- rule7 <- rule6 <- FAIL)]]
("Anne" "is" "young" "+")
Dave is not nice.
Unknown
inv-rconc
[@3: Dave is nice.[CWA. Example of deepest failure = (rule4 <- rule7 <- rule6 <- FAIL)]]
("Dave" "is" "nice" "-")
Anne is quiet.
Unknown
rconc
[@2: Anne is quiet.[CWA. Example of deepest failure = (rule7 <- rule4 <- FAIL)]]
("Anne" "is" "quiet" "+")
Anne is not nice.
Unknown
inv-rconc
[@3: Anne is nice.[CWA. Example of deepest failure = (rule4 <- rule7 <- rule6 <- FAIL)]]
("Anne" "is" "nice" "-")
Anne is red.
Unknown
rconc
[@4: Anne is red.[CWA. Example of deepest failure = (rule1 <- rule4 <- rule7 <- rule6 <- FAIL)]]
("Anne" "is" "red" "+")
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Charlie is quiet.[(triple3)] Dave is furry.[(triple4)] Dave is red.[(triple5)] Dave is young.[(triple6)] Gary is cold.[(triple7 OR ((((triple9) -> rule7) ((((triple9 triple10) -> rule1)) -> rule2)) -> rule3) OR ((((triple9) -> rule7) ((((triple9 triple10) -> rule1) triple10) -> rule8)) -> rule3) OR ((((triple9) -> rule7) ((((triple9 triple10) -> rule1) ((triple9) -> rule5)) -> rule8)) -> rule3) OR ((((triple9) -> rule7) ((((triple9 ((triple9) -> rule5)) -> rule1)) -> rule2)) -> rule3) OR ((((triple9) -> rule7) ((((triple9 ((triple9) -> rule5)) -> rule1) triple10) -> rule8)) -> rule3) OR ((((triple9) -> rule7) ((((triple9 ((triple9) -> rule5)) -> rule1) ((triple9) -> rule5)) -> rule8)) -> rule3))] Gary is furry.[(triple8)] Gary is nice.[(triple9)] Gary is young.[(triple10 OR ((triple9) -> rule5))] @1: Charlie is nice.[(((triple3) -> rule4) OR ((triple3) -> rule6))] Dave is smart.[(((triple5) -> rule2) OR ((triple5 triple6) -> rule8))] Gary is quiet.[(((triple9) -> rule7))] Gary is red.[(((triple9 triple10) -> rule1) OR ((triple9 ((triple9) -> rule5)) -> rule1))] @2: Charlie is young.[(((((triple3) -> rule4)) -> rule5) OR ((((triple3) -> rule6)) -> rule5))] Gary is smart.[(((((triple9 triple10) -> rule1)) -> rule2) OR ((((triple9 triple10) -> rule1) triple10) -> rule8) OR ((((triple9 triple10) -> rule1) ((triple9) -> rule5)) -> rule8) OR ((((triple9 ((triple9) -> rule5)) -> rule1)) -> rule2) OR ((((triple9 ((triple9) -> rule5)) -> rule1) triple10) -> rule8) OR ((((triple9 ((triple9) -> rule5)) -> rule1) ((triple9) -> rule5)) -> rule8))] @3: Charlie is red.[(((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule5)) -> rule1) OR ((((triple3) -> rule4) ((((triple3) -> rule6)) -> rule5)) -> rule1) OR ((((triple3) -> rule6) ((((triple3) -> rule4)) -> rule5)) -> rule1) OR ((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule5)) -> rule1))] @4: Charlie is smart.[(((((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule5)) -> rule1)) -> rule2) OR ((((((triple3) -> rule4) ((((triple3) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((triple3) -> rule6) ((((triple3) -> rule4)) -> rule5)) -> rule1)) -> rule2) OR ((((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule5)) -> rule1) ((((triple3) -> rule4)) -> rule5)) -> rule8) OR ((((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule5)) -> rule1) ((((triple3) -> rule6)) -> rule5)) -> rule8) OR ((((((triple3) -> rule4) ((((triple3) -> rule6)) -> rule5)) -> rule1) ((((triple3) -> rule4)) -> rule5)) -> rule8) OR ((((((triple3) -> rule4) ((((triple3) -> rule6)) -> rule5)) -> rule1) ((((triple3) -> rule6)) -> rule5)) -> rule8) OR ((((((triple3) -> rule6) ((((triple3) -> rule4)) -> rule5)) -> rule1) ((((triple3) -> rule4)) -> rule5)) -> rule8) OR ((((((triple3) -> rule6) ((((triple3) -> rule4)) -> rule5)) -> rule1) ((((triple3) -> rule6)) -> rule5)) -> rule8) OR ((((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule5)) -> rule1) ((((triple3) -> rule4)) -> rule5)) -> rule8) OR ((((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule5)) -> rule1) ((((triple3) -> rule6)) -> rule5)) -> rule8))] @5: Charlie is cold.[(((triple3 ((((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule5)) -> rule1)) -> rule2)) -> rule3) OR ((triple3 ((((((triple3) -> rule4) ((((triple3) -> rule6)) -> rule5)) -> rule1)) -> rule2)) -> rule3) OR ((triple3 ((((((triple3) -> rule6) ((((triple3) -> rule4)) -> rule5)) -> rule1)) -> rule2)) -> rule3) OR ((triple3 ((((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule5)) -> rule1)) -> rule2)) -> rule3) OR ((triple3 ((((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule5)) -> rule1) ((((triple3) -> rule4)) -> rule5)) -> rule8)) -> rule3) OR ((triple3 ((((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule5)) -> rule1) ((((triple3) -> rule6)) -> rule5)) -> rule8)) -> rule3) OR ((triple3 ((((((triple3) -> rule4) ((((triple3) -> rule6)) -> rule5)) -> rule1) ((((triple3) -> rule4)) -> rule5)) -> rule8)) -> rule3) OR ((triple3 ((((((triple3) -> rule4) ((((triple3) -> rule6)) -> rule5)) -> rule1) ((((triple3) -> rule6)) -> rule5)) -> rule8)) -> rule3) OR ((triple3 ((((((triple3) -> rule6) ((((triple3) -> rule4)) -> rule5)) -> rule1) ((((triple3) -> rule4)) -> rule5)) -> rule8)) -> rule3) OR ((triple3 ((((((triple3) -> rule6) ((((triple3) -> rule4)) -> rule5)) -> rule1) ((((triple3) -> rule6)) -> rule5)) -> rule8)) -> rule3) OR ((triple3 ((((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule5)) -> rule1) ((((triple3) -> rule4)) -> rule5)) -> rule8)) -> rule3) OR ((triple3 ((((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule5)) -> rule1) ((((triple3) -> rule6)) -> rule5)) -> rule8)) -> rule3))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
Dave is furry.
("Dave" "is" "furry" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
((((triple9) -> (rule7 % int4)) ((((triple9 triple10) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((triple9) -> (rule7 % int4)) ((((triple9 triple10) -> (rule1 % int3)) triple10) -> (rule8 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((triple9) -> (rule7 % int5)) ((((triple9 triple10) -> (rule1 % int4)) ((triple9) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((triple9) -> (rule7 % int5)) ((((triple9 ((triple9) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((triple9) -> (rule7 % int5)) ((((triple9 ((triple9) -> (rule5 % int4))) -> (rule1 % int3)) triple10) -> (rule8 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((triple9) -> (rule7 % int5)) ((((triple9 ((triple9) -> (rule5 % int4))) -> (rule1 % int3)) ((triple9) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
((triple9) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple3) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple3) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
((triple5) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((triple5 triple6) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple9) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple9 triple10) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((triple9 ((triple9) -> (rule5 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((((triple3) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple3) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
((((triple9 triple10) -> (rule1 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((triple9 triple10) -> (rule1 % int2)) triple10) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((triple9 triple10) -> (rule1 % int3)) ((triple9) -> (rule5 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple9 ((triple9) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((triple9 ((triple9) -> (rule5 % int3))) -> (rule1 % int2)) triple10) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((triple9 ((triple9) -> (rule5 % int3))) -> (rule1 % int2)) ((triple9) -> (rule5 % int3))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
((((triple3) -> (rule4 % int3)) ((((triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((triple3) -> (rule4 % int3)) ((((triple3) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((triple3) -> (rule6 % int3)) ((((triple3) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((triple3) -> (rule6 % int3)) ((((triple3) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
((((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule6 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule6 % int4)) ((((triple3) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule6 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule6 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule6 % int4)) ((((triple3) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule6 % int4)) ((((triple3) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule8 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple3 ((((((triple3) -> (rule4 % int5)) ((((triple3) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule4 % int5)) ((((triple3) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule6 % int5)) ((((triple3) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule6 % int5)) ((((triple3) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule4 % int5)) ((((triple3) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule4 % int5)) ((((triple3) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule4 % int5)) ((((triple3) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule4 % int5)) ((((triple3) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule6 % int5)) ((((triple3) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule6 % int5)) ((((triple3) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule6 % int5)) ((((triple3) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((triple3 ((((((triple3) -> (rule6 % int5)) ((((triple3) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5