Charlie is kind. Charlie is rough. Dave is kind. Dave is quiet. Dave is rough. Dave is young. Fiona is cold. Fiona is kind. Fiona is red. Gary is quiet. If something is rough then it is young. Quiet things are cold. If something is young and rough then it is quiet. If something is cold then it is smart. Quiet, cold things are kind. Smart things are red. Kind, quiet things are young. If Fiona is red and Fiona is young then Fiona is rough.
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If something is rough then it is young.
((("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
Quiet things are cold.
((("something" "is" "quiet" "+")) -> ("something" "is" "cold" "+"))
If something is young and rough then it is quiet.
((("something" "is" "young" "+") ("something" "is" "rough" "+")) -> ("something" "is" "quiet" "+"))
If something is cold then it is smart.
((("something" "is" "cold" "+")) -> ("something" "is" "smart" "+"))
Quiet, cold things are kind.
((("something" "is" "quiet" "+") ("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
Smart things are red.
((("something" "is" "smart" "+")) -> ("something" "is" "red" "+"))
Kind, quiet things are young.
((("something" "is" "kind" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
If Fiona is red and Fiona is young then Fiona is rough.
((("Fiona" "is" "red" "+") ("Fiona" "is" "young" "+")) -> ("Fiona" "is" "rough" "+"))
Gary is quiet.
True
1
proof
[(triple10)]
("Gary" "is" "quiet" "+")
triple10
Dave is not young.
False
1
inv-proof
[(triple6 OR ((triple5) -> rule1) OR ((triple3 triple4) -> rule7) OR ((((triple4 ((triple4) -> rule2)) -> rule5) triple4) -> rule7))]
("Dave" "is" "young" "-")
triple6
((triple5) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((triple3 triple4) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((((triple4 ((triple4) -> (rule2 % int3))) -> (rule5 % int2)) triple4) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Gary is cold.
True
2
proof
[(((triple10) -> rule2))]
("Gary" "is" "cold" "+")
((triple10) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Charlie is not young.
False
2
inv-proof
[(((triple2) -> rule1))]
("Charlie" "is" "young" "-")
((triple2) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Dave is smart.
True
3
proof
[(((((triple4) -> rule2)) -> rule4) OR ((((((triple6 triple5) -> rule3)) -> rule2)) -> rule4) OR ((((((((triple5) -> rule1) triple5) -> rule3)) -> rule2)) -> rule4))]
("Dave" "is" "smart" "+")
((((triple4) -> (rule2 % int2))) -> (rule4 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
((((((triple6 triple5) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((((((triple5) -> (rule1 % int4)) triple5) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Gary is not smart.
False
3
inv-proof
[(((((triple10) -> rule2)) -> rule4))]
("Gary" "is" "smart" "-")
((((triple10) -> (rule2 % int2))) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is young.
True
6
proof
[(((((triple10 ((triple10) -> rule2)) -> rule5) triple10) -> rule7))]
("Gary" "is" "young" "+")
((((triple10 ((triple10) -> (rule2 % int3))) -> (rule5 % int2)) triple10) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Dave is not red.
False
4
inv-proof
[(((((((triple4) -> rule2)) -> rule4)) -> rule6) OR ((((((((triple6 triple5) -> rule3)) -> rule2)) -> rule4)) -> rule6) OR ((((((((((triple5) -> rule1) triple5) -> rule3)) -> rule2)) -> rule4)) -> rule6))]
("Dave" "is" "red" "-")
((((((triple4) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((((((triple6 triple5) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((((((((triple5) -> (rule1 % int5)) triple5) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Charlie is smart.
True
6
proof
[(((((((((triple2) -> rule1) triple2) -> rule3)) -> rule2)) -> rule4))]
("Charlie" "is" "smart" "+")
((((((((triple2) -> (rule1 % int4)) triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is not smart.
False
6
inv-proof
[(((((((((triple2) -> rule1) triple2) -> rule3)) -> rule2)) -> rule4))]
("Charlie" "is" "smart" "-")
((((((((triple2) -> (rule1 % int4)) triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is red.
True
7
proof
[(((((((((((triple2) -> rule1) triple2) -> rule3)) -> rule2)) -> rule4)) -> rule6))]
("Charlie" "is" "red" "+")
((((((((((triple2) -> (rule1 % int5)) triple2) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
Charlie is not red.
False
7
inv-proof
[(((((((((((triple2) -> rule1) triple2) -> rule3)) -> rule2)) -> rule4)) -> rule6))]
("Charlie" "is" "red" "-")
((((((((((triple2) -> (rule1 % int5)) triple2) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
Fiona is not quiet.
Unknown
inv-rconc
[@3: Fiona is quiet.[CWA. Example of deepest failure = (rule3 <- rule8 <- rule1 <- FAIL)]]
("Fiona" "is" "quiet" "-")
Fiona is rough.
Unknown
rconc
[@3: Fiona is rough.[CWA. Example of deepest failure = (rule8 <- rule7 <- rule3 <- FAIL)]]
("Fiona" "is" "rough" "+")
Fiona is not young.
Unknown
inv-rconc
[@4: Fiona is young.[CWA. Example of deepest failure = (rule1 <- rule8 <- rule7 <- rule3 <- FAIL)]]
("Fiona" "is" "young" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Charlie is kind.[(triple1 OR ((((((triple2) -> rule1) triple2) -> rule3) ((((((triple2) -> rule1) triple2) -> rule3)) -> rule2)) -> rule5))] Charlie is rough.[(triple2)] Dave is kind.[(triple3 OR ((triple4 ((triple4) -> rule2)) -> rule5) OR ((((triple6 triple5) -> rule3) ((triple4) -> rule2)) -> rule5) OR ((triple4 ((((triple6 triple5) -> rule3)) -> rule2)) -> rule5) OR ((((triple6 triple5) -> rule3) ((((triple6 triple5) -> rule3)) -> rule2)) -> rule5) OR ((((((triple5) -> rule1) triple5) -> rule3) ((triple4) -> rule2)) -> rule5) OR ((((((triple5) -> rule1) triple5) -> rule3) ((((triple6 triple5) -> rule3)) -> rule2)) -> rule5) OR ((triple4 ((((((triple5) -> rule1) triple5) -> rule3)) -> rule2)) -> rule5) OR ((((triple6 triple5) -> rule3) ((((((triple5) -> rule1) triple5) -> rule3)) -> rule2)) -> rule5) OR ((((((triple5) -> rule1) triple5) -> rule3) ((((((triple5) -> rule1) triple5) -> rule3)) -> rule2)) -> rule5))] Dave is quiet.[(triple4 OR ((triple6 triple5) -> rule3) OR ((((triple5) -> rule1) triple5) -> rule3))] Dave is rough.[(triple5)] Dave is young.[(triple6 OR ((triple5) -> rule1) OR ((triple3 triple4) -> rule7) OR ((((triple4 ((triple4) -> rule2)) -> rule5) triple4) -> rule7))] Fiona is cold.[(triple7)] Fiona is kind.[(triple8)] Fiona is red.[(triple9 OR ((((triple7) -> rule4)) -> rule6))] Gary is quiet.[(triple10)] @1: Charlie is young.[(((triple2) -> rule1))] Dave is cold.[(((triple4) -> rule2) OR ((((triple6 triple5) -> rule3)) -> rule2) OR ((((((triple5) -> rule1) triple5) -> rule3)) -> rule2))] Fiona is smart.[(((triple7) -> rule4))] Gary is cold.[(((triple10) -> rule2))] @2: Charlie is quiet.[(((((triple2) -> rule1) triple2) -> rule3))] Dave is smart.[(((((triple4) -> rule2)) -> rule4) OR ((((((triple6 triple5) -> rule3)) -> rule2)) -> rule4) OR ((((((((triple5) -> rule1) triple5) -> rule3)) -> rule2)) -> rule4))] Gary is kind.[(((triple10 ((triple10) -> rule2)) -> rule5))] Gary is smart.[(((((triple10) -> rule2)) -> rule4))] @3: Charlie is cold.[(((((((triple2) -> rule1) triple2) -> rule3)) -> rule2))] Dave is red.[(((((((triple4) -> rule2)) -> rule4)) -> rule6) OR ((((((((triple6 triple5) -> rule3)) -> rule2)) -> rule4)) -> rule6) OR ((((((((((triple5) -> rule1) triple5) -> rule3)) -> rule2)) -> rule4)) -> rule6))] Gary is red.[(((((((triple10) -> rule2)) -> rule4)) -> rule6))] Gary is young.[(((((triple10 ((triple10) -> rule2)) -> rule5) triple10) -> rule7))] @4: Charlie is smart.[(((((((((triple2) -> rule1) triple2) -> rule3)) -> rule2)) -> rule4))] @5: Charlie is red.[(((((((((((triple2) -> rule1) triple2) -> rule3)) -> rule2)) -> rule4)) -> rule6))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
((((((triple2) -> (rule1 % int4)) triple2) -> (rule3 % int3)) ((((((triple2) -> (rule1 % int4)) triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Dave is kind.
("Dave" "is" "kind" "+")
triple3
((triple4 ((triple4) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
((((triple6 triple5) -> (rule3 % int3)) ((triple4) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((triple4 ((((triple6 triple5) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((triple6 triple5) -> (rule3 % int3)) ((((triple6 triple5) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((((triple5) -> (rule1 % int4)) triple5) -> (rule3 % int3)) ((triple4) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((triple5) -> (rule1 % int4)) triple5) -> (rule3 % int3)) ((((triple6 triple5) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((triple4 ((((((triple5) -> (rule1 % int4)) triple5) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((triple6 triple5) -> (rule3 % int4)) ((((((triple5) -> (rule1 % int3)) triple5) -> (rule3 % int4))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((((triple5) -> (rule1 % int4)) triple5) -> (rule3 % int3)) ((((((triple5) -> (rule1 % int4)) triple5) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
((triple6 triple5) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((((triple5) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple6
((triple5) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((triple3 triple4) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((((triple4 ((triple4) -> (rule2 % int3))) -> (rule5 % int2)) triple4) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is red.
("Fiona" "is" "red" "+")
triple9
((((triple7) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
Charlie is young.
("Charlie" "is" "young" "+")
((triple2) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple4) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((((triple6 triple5) -> (rule3 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((((triple5) -> (rule1 % int3)) triple5) -> (rule3 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple7) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple10) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((((triple2) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
((((triple4) -> (rule2 % int2))) -> (rule4 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
((((((triple6 triple5) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((((((triple5) -> (rule1 % int4)) triple5) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
((triple10 ((triple10) -> (rule2 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
((((triple10) -> (rule2 % int2))) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((((((triple2) -> (rule1 % int3)) triple2) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
((((((triple4) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((((((triple6 triple5) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((((((((triple5) -> (rule1 % int5)) triple5) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
((((((triple10) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
((((triple10 ((triple10) -> (rule2 % int3))) -> (rule5 % int2)) triple10) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
((((((((triple2) -> (rule1 % int4)) triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
((((((((((triple2) -> (rule1 % int5)) triple2) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5