Anne is blue. Charlie is furry. Charlie is nice. Dave is cold. Dave is nice. Dave is smart. Fiona is big. If Charlie is big and Charlie is nice then Charlie is quiet. All big things are quiet. If something is quiet and cold then it is furry. Furry, blue things are nice. If something is blue and furry then it is cold. Quiet, furry things are blue. If Charlie is quiet and Charlie is cold then Charlie is smart. If something is nice then it is big. All blue things are cold.
Anne is blue.
("Anne" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
If Charlie is big and Charlie is nice then Charlie is quiet.
((("Charlie" "is" "big" "+") ("Charlie" "is" "nice" "+")) -> ("Charlie" "is" "quiet" "+"))
All big things are quiet.
((("something" "is" "big" "+")) -> ("something" "is" "quiet" "+"))
If something is quiet and cold then it is furry.
((("something" "is" "quiet" "+") ("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
Furry, blue things are nice.
((("something" "is" "furry" "+") ("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
If something is blue and furry then it is cold.
((("something" "is" "blue" "+") ("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
Quiet, furry things are blue.
((("something" "is" "quiet" "+") ("something" "is" "furry" "+")) -> ("something" "is" "blue" "+"))
If Charlie is quiet and Charlie is cold then Charlie is smart.
((("Charlie" "is" "quiet" "+") ("Charlie" "is" "cold" "+")) -> ("Charlie" "is" "smart" "+"))
If something is nice then it is big.
((("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
All blue things are cold.
((("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
Dave is nice.
True
1
proof
[(triple5)]
("Dave" "is" "nice" "+")
triple5
Anne is not blue.
False
1
inv-proof
[(triple1)]
("Anne" "is" "blue" "-")
triple1
Dave is big.
True
2
proof
[(((triple5) -> rule8))]
("Dave" "is" "big" "+")
((triple5) -> (rule8 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Anne is not cold.
False
2
inv-proof
[(((triple1) -> rule9))]
("Anne" "is" "cold" "-")
((triple1) -> (rule9 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Charlie is quiet.
True
3
proof
[(((((triple3) -> rule8)) -> rule2) OR ((((triple3) -> rule8) triple3) -> rule1))]
("Charlie" "is" "quiet" "+")
((((triple3) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple3) -> (rule8 % int2)) triple3) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Dave is not quiet.
False
3
inv-proof
[(((((triple5) -> rule8)) -> rule2))]
("Dave" "is" "quiet" "-")
((((triple5) -> (rule8 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Charlie is blue.
True
5
proof
[(((((((triple3) -> rule8)) -> rule2) triple2) -> rule6) OR ((((((triple3) -> rule8) triple3) -> rule1) triple2) -> rule6))]
("Charlie" "is" "blue" "+")
((((((triple3) -> (rule8 % int3))) -> (rule2 % int2)) triple2) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple3) -> (rule8 % int3)) triple3) -> (rule1 % int2)) triple2) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is not blue.
False
5
inv-proof
[(((((((triple3) -> rule8)) -> rule2) triple2) -> rule6) OR ((((((triple3) -> rule8) triple3) -> rule1) triple2) -> rule6))]
("Charlie" "is" "blue" "-")
((((((triple3) -> (rule8 % int3))) -> (rule2 % int2)) triple2) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple3) -> (rule8 % int3)) triple3) -> (rule1 % int2)) triple2) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is cold.
True
6
proof
[(((((((((triple3) -> rule8)) -> rule2) triple2) -> rule6)) -> rule9) OR ((((((((triple3) -> rule8) triple3) -> rule1) triple2) -> rule6)) -> rule9) OR ((((((((triple3) -> rule8)) -> rule2) triple2) -> rule6) triple2) -> rule5) OR ((((((((triple3) -> rule8) triple3) -> rule1) triple2) -> rule6) triple2) -> rule5))]
("Charlie" "is" "cold" "+")
((((((((triple3) -> (rule8 % int4))) -> (rule2 % int3)) triple2) -> (rule6 % int2))) -> (rule9 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple3) -> (rule8 % int4)) triple3) -> (rule1 % int3)) triple2) -> (rule6 % int2))) -> (rule9 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple3) -> (rule8 % int4))) -> (rule2 % int3)) triple2) -> (rule6 % int2)) triple2) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple3) -> (rule8 % int4)) triple3) -> (rule1 % int3)) triple2) -> (rule6 % int2)) triple2) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Dave is not blue.
False
9
inv-proof
[(((((((triple5) -> rule8)) -> rule2) ((((((triple5) -> rule8)) -> rule2) triple4) -> rule3)) -> rule6))]
("Dave" "is" "blue" "-")
((((((triple5) -> (rule8 % int4))) -> (rule2 % int3)) ((((((triple5) -> (rule8 % int4))) -> (rule2 % int3)) triple4) -> (rule3 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Charlie is smart.
True
10
proof
[(((((((triple3) -> rule8)) -> rule2) ((((((((triple3) -> rule8)) -> rule2) triple2) -> rule6)) -> rule9)) -> rule7) OR ((((((triple3) -> rule8)) -> rule2) ((((((((triple3) -> rule8) triple3) -> rule1) triple2) -> rule6)) -> rule9)) -> rule7) OR ((((((triple3) -> rule8)) -> rule2) ((((((((triple3) -> rule8)) -> rule2) triple2) -> rule6) triple2) -> rule5)) -> rule7) OR ((((((triple3) -> rule8)) -> rule2) ((((((((triple3) -> rule8) triple3) -> rule1) triple2) -> rule6) triple2) -> rule5)) -> rule7) OR ((((((triple3) -> rule8) triple3) -> rule1) ((((((((triple3) -> rule8)) -> rule2) triple2) -> rule6)) -> rule9)) -> rule7) OR ((((((triple3) -> rule8) triple3) -> rule1) ((((((((triple3) -> rule8) triple3) -> rule1) triple2) -> rule6)) -> rule9)) -> rule7) OR ((((((triple3) -> rule8) triple3) -> rule1) ((((((((triple3) -> rule8)) -> rule2) triple2) -> rule6) triple2) -> rule5)) -> rule7) OR ((((((triple3) -> rule8) triple3) -> rule1) ((((((((triple3) -> rule8) triple3) -> rule1) triple2) -> rule6) triple2) -> rule5)) -> rule7))]
("Charlie" "is" "smart" "+")
((((((triple3) -> (rule8 % int5))) -> (rule2 % int4)) ((((((((triple3) -> (rule8 % int5))) -> (rule2 % int4)) triple2) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple3) -> (rule8 % int5))) -> (rule2 % int4)) ((((((((triple3) -> (rule8 % int5)) triple3) -> (rule1 % int4)) triple2) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple3) -> (rule8 % int5))) -> (rule2 % int4)) ((((((((triple3) -> (rule8 % int5))) -> (rule2 % int4)) triple2) -> (rule6 % int3)) triple2) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple3) -> (rule8 % int5))) -> (rule2 % int4)) ((((((((triple3) -> (rule8 % int5)) triple3) -> (rule1 % int4)) triple2) -> (rule6 % int3)) triple2) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple3) -> (rule8 % int5)) triple3) -> (rule1 % int4)) ((((((((triple3) -> (rule8 % int5))) -> (rule2 % int4)) triple2) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple3) -> (rule8 % int5)) triple3) -> (rule1 % int4)) ((((((((triple3) -> (rule8 % int5)) triple3) -> (rule1 % int4)) triple2) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple3) -> (rule8 % int5)) triple3) -> (rule1 % int4)) ((((((((triple3) -> (rule8 % int5))) -> (rule2 % int4)) triple2) -> (rule6 % int3)) triple2) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple3) -> (rule8 % int5)) triple3) -> (rule1 % int4)) ((((((((triple3) -> (rule8 % int5)) triple3) -> (rule1 % int4)) triple2) -> (rule6 % int3)) triple2) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is not smart.
False
10
inv-proof
[(((((((triple3) -> rule8)) -> rule2) ((((((((triple3) -> rule8)) -> rule2) triple2) -> rule6)) -> rule9)) -> rule7) OR ((((((triple3) -> rule8)) -> rule2) ((((((((triple3) -> rule8) triple3) -> rule1) triple2) -> rule6)) -> rule9)) -> rule7) OR ((((((triple3) -> rule8)) -> rule2) ((((((((triple3) -> rule8)) -> rule2) triple2) -> rule6) triple2) -> rule5)) -> rule7) OR ((((((triple3) -> rule8)) -> rule2) ((((((((triple3) -> rule8) triple3) -> rule1) triple2) -> rule6) triple2) -> rule5)) -> rule7) OR ((((((triple3) -> rule8) triple3) -> rule1) ((((((((triple3) -> rule8)) -> rule2) triple2) -> rule6)) -> rule9)) -> rule7) OR ((((((triple3) -> rule8) triple3) -> rule1) ((((((((triple3) -> rule8) triple3) -> rule1) triple2) -> rule6)) -> rule9)) -> rule7) OR ((((((triple3) -> rule8) triple3) -> rule1) ((((((((triple3) -> rule8)) -> rule2) triple2) -> rule6) triple2) -> rule5)) -> rule7) OR ((((((triple3) -> rule8) triple3) -> rule1) ((((((((triple3) -> rule8) triple3) -> rule1) triple2) -> rule6) triple2) -> rule5)) -> rule7))]
("Charlie" "is" "smart" "-")
((((((triple3) -> (rule8 % int5))) -> (rule2 % int4)) ((((((((triple3) -> (rule8 % int5))) -> (rule2 % int4)) triple2) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple3) -> (rule8 % int5))) -> (rule2 % int4)) ((((((((triple3) -> (rule8 % int5)) triple3) -> (rule1 % int4)) triple2) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple3) -> (rule8 % int5))) -> (rule2 % int4)) ((((((((triple3) -> (rule8 % int5))) -> (rule2 % int4)) triple2) -> (rule6 % int3)) triple2) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple3) -> (rule8 % int5))) -> (rule2 % int4)) ((((((((triple3) -> (rule8 % int5)) triple3) -> (rule1 % int4)) triple2) -> (rule6 % int3)) triple2) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple3) -> (rule8 % int5)) triple3) -> (rule1 % int4)) ((((((((triple3) -> (rule8 % int5))) -> (rule2 % int4)) triple2) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple3) -> (rule8 % int5)) triple3) -> (rule1 % int4)) ((((((((triple3) -> (rule8 % int5)) triple3) -> (rule1 % int4)) triple2) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple3) -> (rule8 % int5)) triple3) -> (rule1 % int4)) ((((((((triple3) -> (rule8 % int5))) -> (rule2 % int4)) triple2) -> (rule6 % int3)) triple2) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple3) -> (rule8 % int5)) triple3) -> (rule1 % int4)) ((((((((triple3) -> (rule8 % int5)) triple3) -> (rule1 % int4)) triple2) -> (rule6 % int3)) triple2) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Fiona is not cold.
Unknown
inv-rconc
[@4: Fiona is cold.[CWA. Example of deepest failure = (rule5 <- rule6 <- rule3 <- rule9 <- FAIL)]]
("Fiona" "is" "cold" "-")
Anne is nice.
Unknown
rconc
[@4: Anne is nice.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule2 <- rule8 <- FAIL)]]
("Anne" "is" "nice" "+")
Anne is not furry.
Unknown
inv-rconc
[@4: Anne is furry.[CWA. Example of deepest failure = (rule3 <- rule2 <- rule8 <- rule4 <- FAIL)]]
("Anne" "is" "furry" "-")
Anne is quiet.
Unknown
rconc
[@4: Anne is quiet.[CWA. Example of deepest failure = (rule2 <- rule8 <- rule4 <- rule3 <- FAIL)]]
("Anne" "is" "quiet" "+")
Fiona is not nice.
Unknown
inv-rconc
[@4: Fiona is nice.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule9 <- rule6 <- FAIL)]]
("Fiona" "is" "nice" "-")
Fiona is blue.
Unknown
rconc
[@3: Fiona is blue.[CWA. Example of deepest failure = (rule6 <- rule3 <- rule5 <- FAIL)]]
("Fiona" "is" "blue" "+")
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Anne is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is nice.[(triple3)] Dave is cold.[(triple4)] Dave is nice.[(triple5)] Dave is smart.[(triple6)] Fiona is big.[(triple7)] @1: Anne is cold.[(((triple1) -> rule9))] Charlie is big.[(((triple3) -> rule8))] Dave is big.[(((triple5) -> rule8))] Fiona is quiet.[(((triple7) -> rule2))] @2: Charlie is quiet.[(((((triple3) -> rule8)) -> rule2) OR ((((triple3) -> rule8) triple3) -> rule1))] Dave is quiet.[(((((triple5) -> rule8)) -> rule2))] @3: Charlie is blue.[(((((((triple3) -> rule8)) -> rule2) triple2) -> rule6) OR ((((((triple3) -> rule8) triple3) -> rule1) triple2) -> rule6))] Dave is furry.[(((((((triple5) -> rule8)) -> rule2) triple4) -> rule3))] @4: Charlie is cold.[(((((((((triple3) -> rule8)) -> rule2) triple2) -> rule6)) -> rule9) OR ((((((((triple3) -> rule8) triple3) -> rule1) triple2) -> rule6)) -> rule9) OR ((((((((triple3) -> rule8)) -> rule2) triple2) -> rule6) triple2) -> rule5) OR ((((((((triple3) -> rule8) triple3) -> rule1) triple2) -> rule6) triple2) -> rule5))] Dave is blue.[(((((((triple5) -> rule8)) -> rule2) ((((((triple5) -> rule8)) -> rule2) triple4) -> rule3)) -> rule6))] @5: Charlie is smart.[(((((((triple3) -> rule8)) -> rule2) ((((((((triple3) -> rule8)) -> rule2) triple2) -> rule6)) -> rule9)) -> rule7) OR ((((((triple3) -> rule8)) -> rule2) ((((((((triple3) -> rule8) triple3) -> rule1) triple2) -> rule6)) -> rule9)) -> rule7) OR ((((((triple3) -> rule8)) -> rule2) ((((((((triple3) -> rule8)) -> rule2) triple2) -> rule6) triple2) -> rule5)) -> rule7) OR ((((((triple3) -> rule8)) -> rule2) ((((((((triple3) -> rule8) triple3) -> rule1) triple2) -> rule6) triple2) -> rule5)) -> rule7) OR ((((((triple3) -> rule8) triple3) -> rule1) ((((((((triple3) -> rule8)) -> rule2) triple2) -> rule6)) -> rule9)) -> rule7) OR ((((((triple3) -> rule8) triple3) -> rule1) ((((((((triple3) -> rule8) triple3) -> rule1) triple2) -> rule6)) -> rule9)) -> rule7) OR ((((((triple3) -> rule8) triple3) -> rule1) ((((((((triple3) -> rule8)) -> rule2) triple2) -> rule6) triple2) -> rule5)) -> rule7) OR ((((((triple3) -> rule8) triple3) -> rule1) ((((((((triple3) -> rule8) triple3) -> rule1) triple2) -> rule6) triple2) -> rule5)) -> rule7))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Dave is smart.
("Dave" "is" "smart" "+")
triple6
Fiona is big.
("Fiona" "is" "big" "+")
triple7
Anne is cold.
("Anne" "is" "cold" "+")
((triple1) -> (rule9 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((triple3) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((triple5) -> (rule8 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple7) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((((triple3) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple3) -> (rule8 % int2)) triple3) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
((((triple5) -> (rule8 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
((((((triple3) -> (rule8 % int3))) -> (rule2 % int2)) triple2) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple3) -> (rule8 % int3)) triple3) -> (rule1 % int2)) triple2) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
((((((triple5) -> (rule8 % int3))) -> (rule2 % int2)) triple4) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
((((((((triple3) -> (rule8 % int4))) -> (rule2 % int3)) triple2) -> (rule6 % int2))) -> (rule9 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple3) -> (rule8 % int4)) triple3) -> (rule1 % int3)) triple2) -> (rule6 % int2))) -> (rule9 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple3) -> (rule8 % int4))) -> (rule2 % int3)) triple2) -> (rule6 % int2)) triple2) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple3) -> (rule8 % int4)) triple3) -> (rule1 % int3)) triple2) -> (rule6 % int2)) triple2) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
((((((triple5) -> (rule8 % int4))) -> (rule2 % int3)) ((((((triple5) -> (rule8 % int4))) -> (rule2 % int3)) triple4) -> (rule3 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
((((((triple3) -> (rule8 % int5))) -> (rule2 % int4)) ((((((((triple3) -> (rule8 % int5))) -> (rule2 % int4)) triple2) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple3) -> (rule8 % int5))) -> (rule2 % int4)) ((((((((triple3) -> (rule8 % int5)) triple3) -> (rule1 % int4)) triple2) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple3) -> (rule8 % int5))) -> (rule2 % int4)) ((((((((triple3) -> (rule8 % int5))) -> (rule2 % int4)) triple2) -> (rule6 % int3)) triple2) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple3) -> (rule8 % int5))) -> (rule2 % int4)) ((((((((triple3) -> (rule8 % int5)) triple3) -> (rule1 % int4)) triple2) -> (rule6 % int3)) triple2) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple3) -> (rule8 % int5)) triple3) -> (rule1 % int4)) ((((((((triple3) -> (rule8 % int5))) -> (rule2 % int4)) triple2) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple3) -> (rule8 % int5)) triple3) -> (rule1 % int4)) ((((((((triple3) -> (rule8 % int5)) triple3) -> (rule1 % int4)) triple2) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple3) -> (rule8 % int5)) triple3) -> (rule1 % int4)) ((((((((triple3) -> (rule8 % int5))) -> (rule2 % int4)) triple2) -> (rule6 % int3)) triple2) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple3) -> (rule8 % int5)) triple3) -> (rule1 % int4)) ((((((((triple3) -> (rule8 % int5)) triple3) -> (rule1 % int4)) triple2) -> (rule6 % int3)) triple2) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5