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