Anne is big. Anne is cold. Anne is nice. Anne is round. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is round. Charlie is smart. Dave is cold. Dave is smart. Fiona is kind. Fiona is nice. Fiona is round. Fiona is smart. If someone is big and cold then they are blue. If Charlie is blue then Charlie is smart. All kind people are nice. If Anne is smart and Anne is cold then Anne is kind. All kind, cold people are big. All cold people are kind. If someone is kind and nice then they are cold. Big, cold people are kind.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
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 smart.
("Dave" "is" "smart" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If someone is big and cold then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If Charlie is blue then Charlie is smart.
((("Charlie" "is" "blue" "+")) -> ("Charlie" "is" "smart" "+"))
All kind people are nice.
((("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If Anne is smart and Anne is cold then Anne is kind.
((("Anne" "is" "smart" "+") ("Anne" "is" "cold" "+")) -> ("Anne" "is" "kind" "+"))
All kind, cold people are big.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
All cold people are kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and nice then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Big, cold people are kind.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Fiona is smart.
True
1
proof
[(triple16)]
("Fiona" "is" "smart" "+")
triple16
Fiona is not kind.
False
1
inv-proof
[(triple13)]
("Fiona" "is" "kind" "-")
triple13
Fiona is cold.
True
3
proof
[(((triple13 triple14) -> rule7) OR ((triple13 ((triple13) -> rule3)) -> rule7))]
("Fiona" "is" "cold" "+")
((triple13 triple14) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((triple13 ((triple13) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is not cold.
False
3
inv-proof
[(((triple13 triple14) -> rule7) OR ((triple13 ((triple13) -> rule3)) -> rule7))]
("Fiona" "is" "cold" "-")
((triple13 triple14) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((triple13 ((triple13) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is big.[(triple1 OR ((((triple2) -> rule6) triple2) -> rule5))] Anne is cold.[(triple2)] Anne is nice.[(triple3 OR ((((triple2) -> rule6)) -> rule3) OR ((((triple1 triple2) -> rule8)) -> rule3))] Anne is round.[(triple4)] Charlie is blue.[(triple5 OR ((((triple7 triple6) -> rule5) triple6) -> rule1) OR ((((triple7 triple6) -> rule5) ((triple7 triple8) -> rule7)) -> rule1) OR ((((triple7 ((triple7 triple8) -> rule7)) -> rule5) triple6) -> rule1) OR ((((((triple6) -> rule6) triple6) -> rule5) triple6) -> rule1) OR ((((triple7 triple6) -> rule5) ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule1) OR ((((triple7 ((triple7 triple8) -> rule7)) -> rule5) ((triple7 triple8) -> rule7)) -> rule1) OR ((((((triple6) -> rule6) triple6) -> rule5) ((triple7 triple8) -> rule7)) -> rule1) OR ((((((triple6) -> rule6) ((triple7 triple8) -> rule7)) -> rule5) triple6) -> rule1) OR ((((triple7 ((triple7 triple8) -> rule7)) -> rule5) ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule1) OR ((((((triple6) -> rule6) triple6) -> rule5) ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule1) OR ((((((triple6) -> rule6) ((triple7 triple8) -> rule7)) -> rule5) ((triple7 triple8) -> rule7)) -> rule1) OR ((((((triple6) -> rule6) ((triple7 triple8) -> rule7)) -> rule5) ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule1) OR ((((triple7 ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule5) triple6) -> rule1) OR ((((triple7 ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule5) ((triple7 triple8) -> rule7)) -> rule1) OR ((((((triple6) -> rule6) ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule5) triple6) -> rule1) OR ((((triple7 ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule5) ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule1) OR ((((((triple6) -> rule6) ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule5) ((triple7 triple8) -> rule7)) -> rule1) OR ((((((triple6) -> rule6) ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule5) ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule1))] Charlie is cold.[(triple6 OR ((triple7 triple8) -> rule7) OR ((triple7 ((triple7) -> rule3)) -> rule7))] Charlie is kind.[(triple7 OR ((triple6) -> rule6))] Charlie is nice.[(triple8 OR ((triple7) -> rule3) OR ((((triple6) -> rule6)) -> rule3))] Charlie is round.[(triple9)] Charlie is smart.[(triple10 OR ((triple5) -> rule2) OR ((((((triple7 triple6) -> rule5) triple6) -> rule1)) -> rule2) OR ((((((triple7 triple6) -> rule5) ((triple7 triple8) -> rule7)) -> rule1)) -> rule2) OR ((((((triple7 ((triple7 triple8) -> rule7)) -> rule5) triple6) -> rule1)) -> rule2) OR ((((((((triple6) -> rule6) triple6) -> rule5) triple6) -> rule1)) -> rule2) OR ((((((triple7 triple6) -> rule5) ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule1)) -> rule2) OR ((((((triple7 ((triple7 triple8) -> rule7)) -> rule5) ((triple7 triple8) -> rule7)) -> rule1)) -> rule2) OR ((((((((triple6) -> rule6) triple6) -> rule5) ((triple7 triple8) -> rule7)) -> rule1)) -> rule2) OR ((((((((triple6) -> rule6) ((triple7 triple8) -> rule7)) -> rule5) triple6) -> rule1)) -> rule2) OR ((((((triple7 ((triple7 triple8) -> rule7)) -> rule5) ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule1)) -> rule2) OR ((((((((triple6) -> rule6) triple6) -> rule5) ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule1)) -> rule2) OR ((((((((triple6) -> rule6) ((triple7 triple8) -> rule7)) -> rule5) ((triple7 triple8) -> rule7)) -> rule1)) -> rule2) OR ((((((((triple6) -> rule6) ((triple7 triple8) -> rule7)) -> rule5) ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule1)) -> rule2) OR ((((((triple7 ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule5) triple6) -> rule1)) -> rule2) OR ((((((triple7 ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule5) ((triple7 triple8) -> rule7)) -> rule1)) -> rule2) OR ((((((((triple6) -> rule6) ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule5) triple6) -> rule1)) -> rule2) OR ((((((triple7 ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule5) ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule1)) -> rule2) OR ((((((((triple6) -> rule6) ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule5) ((triple7 triple8) -> rule7)) -> rule1)) -> rule2) OR ((((((((triple6) -> rule6) ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule5) ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule1)) -> rule2))] Dave is cold.[(triple11)] Dave is smart.[(triple12)] Fiona is kind.[(triple13)] Fiona is nice.[(triple14 OR ((triple13) -> rule3))] Fiona is round.[(triple15)] Fiona is smart.[(triple16)] @1: Anne is blue.[(((triple1 triple2) -> rule1) OR ((((((triple2) -> rule6) triple2) -> rule5) triple2) -> rule1))] Anne is kind.[(((triple2) -> rule6) OR ((triple1 triple2) -> rule8))] Charlie is big.[(((triple7 triple6) -> rule5) OR ((triple7 ((triple7 triple8) -> rule7)) -> rule5) OR ((((triple6) -> rule6) triple6) -> rule5) OR ((((triple6) -> rule6) ((triple7 triple8) -> rule7)) -> rule5) OR ((triple7 ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule5) OR ((((triple6) -> rule6) ((triple7 ((triple7) -> rule3)) -> rule7)) -> rule5))] Dave is kind.[(((triple11) -> rule6))] Fiona is cold.[(((triple13 triple14) -> rule7) OR ((triple13 ((triple13) -> rule3)) -> rule7))] @2: Dave is big.[(((((triple11) -> rule6) triple11) -> rule5))] Dave is nice.[(((((triple11) -> rule6)) -> rule3))] Fiona is big.[(((triple13 ((triple13 triple14) -> rule7)) -> rule5) OR ((triple13 ((triple13 ((triple13) -> rule3)) -> rule7)) -> rule5))] @3: Dave is blue.[(((((((triple11) -> rule6) triple11) -> rule5) triple11) -> rule1))] Fiona is blue.[(((((triple13 ((triple13 triple14) -> rule7)) -> rule5) ((triple13 triple14) -> rule7)) -> rule1) OR ((((triple13 ((triple13 triple14) -> rule7)) -> rule5) ((triple13 ((triple13) -> rule3)) -> rule7)) -> rule1) OR ((((triple13 ((triple13 ((triple13) -> rule3)) -> rule7)) -> rule5) ((triple13 triple14) -> rule7)) -> rule1) OR ((((triple13 ((triple13 ((triple13) -> rule3)) -> rule7)) -> rule5) ((triple13 ((triple13) -> rule3)) -> rule7)) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((((triple2) -> (rule6 % int2)) triple2) -> (rule5 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
((((triple2) -> (rule6 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((triple1 triple2) -> (rule8 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
triple4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
((((triple7 triple6) -> (rule5 % int2)) triple6) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple7 triple6) -> (rule5 % int3)) ((triple7 triple8) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((triple7 ((triple7 triple8) -> (rule7 % int3))) -> (rule5 % int2)) triple6) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((((triple6) -> (rule6 % int3)) triple6) -> (rule5 % int2)) triple6) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple7 triple6) -> (rule5 % int4)) ((triple7 ((triple7) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple7 ((triple7 triple8) -> (rule7 % int3))) -> (rule5 % int2)) ((triple7 triple8) -> (rule7 % int3))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((((triple6) -> (rule6 % int4)) triple6) -> (rule5 % int3)) ((triple7 triple8) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple6) -> (rule6 % int4)) ((triple7 triple8) -> (rule7 % int3))) -> (rule5 % int2)) triple6) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple7 ((triple7 triple8) -> (rule7 % int4))) -> (rule5 % int3)) ((triple7 ((triple7) -> (rule3 % int2))) -> (rule7 % int4))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((triple6) -> (rule6 % int5)) triple6) -> (rule5 % int4)) ((triple7 ((triple7) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple6) -> (rule6 % int4)) ((triple7 triple8) -> (rule7 % int3))) -> (rule5 % int2)) ((triple7 triple8) -> (rule7 % int3))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple6) -> (rule6 % int5)) ((triple7 triple8) -> (rule7 % int4))) -> (rule5 % int3)) ((triple7 ((triple7) -> (rule3 % int2))) -> (rule7 % int4))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((triple7 ((triple7 ((triple7) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) triple6) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((triple7 ((triple7 ((triple7) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) ((triple7 triple8) -> (rule7 % int3))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple6) -> (rule6 % int5)) ((triple7 ((triple7) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) triple6) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((triple7 ((triple7 ((triple7) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) ((triple7 ((triple7) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple6) -> (rule6 % int5)) ((triple7 ((triple7) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) ((triple7 triple8) -> (rule7 % int3))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple6) -> (rule6 % int5)) ((triple7 ((triple7) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) ((triple7 ((triple7) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
((triple7 triple8) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((triple7 ((triple7) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple7
((triple6) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple8
((triple7) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((((triple6) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
triple9
Charlie is smart.
("Charlie" "is" "smart" "+")
triple10
((triple5) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((((triple7 triple6) -> (rule5 % int3)) triple6) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple7 triple6) -> (rule5 % int4)) ((triple7 triple8) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple7 ((triple7 triple8) -> (rule7 % int4))) -> (rule5 % int3)) triple6) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((((triple6) -> (rule6 % int4)) triple6) -> (rule5 % int3)) triple6) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple7 triple6) -> (rule5 % int5)) ((triple7 ((triple7) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple7 ((triple7 triple8) -> (rule7 % int4))) -> (rule5 % int3)) ((triple7 triple8) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((((triple6) -> (rule6 % int5)) triple6) -> (rule5 % int4)) ((triple7 triple8) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple6) -> (rule6 % int5)) ((triple7 triple8) -> (rule7 % int4))) -> (rule5 % int3)) triple6) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple7 ((triple7 triple8) -> (rule7 % int5))) -> (rule5 % int4)) ((triple7 ((triple7) -> (rule3 % int3))) -> (rule7 % int5))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((((triple6) -> (rule6 % int6)) triple6) -> (rule5 % int5)) ((triple7 ((triple7) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
((((((((triple6) -> (rule6 % int5)) ((triple7 triple8) -> (rule7 % int4))) -> (rule5 % int3)) ((triple7 triple8) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple6) -> (rule6 % int6)) ((triple7 triple8) -> (rule7 % int5))) -> (rule5 % int4)) ((triple7 ((triple7) -> (rule3 % int3))) -> (rule7 % int5))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
((((((triple7 ((triple7 ((triple7) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) triple6) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((((((triple7 ((triple7 ((triple7) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) ((triple7 triple8) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((((((((triple6) -> (rule6 % int6)) ((triple7 ((triple7) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) triple6) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
((((((triple7 ((triple7 ((triple7) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) ((triple7 ((triple7) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((((((((triple6) -> (rule6 % int6)) ((triple7 ((triple7) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) ((triple7 triple8) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
((((((((triple6) -> (rule6 % int6)) ((triple7 ((triple7) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) ((triple7 ((triple7) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
Dave is cold.
("Dave" "is" "cold" "+")
triple11
Dave is smart.
("Dave" "is" "smart" "+")
triple12
Fiona is kind.
("Fiona" "is" "kind" "+")
triple13
Fiona is nice.
("Fiona" "is" "nice" "+")
triple14
((triple13) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
triple15
Fiona is smart.
("Fiona" "is" "smart" "+")
triple16
Anne is blue.
("Anne" "is" "blue" "+")
((triple1 triple2) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((((((triple2) -> (rule6 % int3)) triple2) -> (rule5 % int2)) triple2) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
((triple2) -> (rule6 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((triple1 triple2) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((triple7 triple6) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple7 ((triple7 triple8) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((triple6) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple6) -> (rule6 % int3)) ((triple7 triple8) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple7 ((triple7 ((triple7) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((triple6) -> (rule6 % int4)) ((triple7 ((triple7) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
((triple11) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple13 triple14) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((triple13 ((triple13) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
((((triple11) -> (rule6 % int2)) triple11) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((((triple11) -> (rule6 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
((triple13 ((triple13 triple14) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((triple13 ((triple13 ((triple13) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
((((((triple11) -> (rule6 % int3)) triple11) -> (rule5 % int2)) triple11) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
((((triple13 ((triple13 triple14) -> (rule7 % int3))) -> (rule5 % int2)) ((triple13 triple14) -> (rule7 % int3))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((triple13 ((triple13 triple14) -> (rule7 % int4))) -> (rule5 % int3)) ((triple13 ((triple13) -> (rule3 % int2))) -> (rule7 % int4))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple13 ((triple13 ((triple13) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) ((triple13 triple14) -> (rule7 % int3))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((triple13 ((triple13 ((triple13) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) ((triple13 ((triple13) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4