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