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