Anne is not white. Erin is white. Erin is young. Fiona is blue. Harry is blue. Harry is furry. Harry is nice. All quiet, nice people are white. If someone is cold then they are white. If someone is nice and not cold then they are quiet. Blue people are quiet. All white, cold people are quiet. All white, nice people are not young. If someone is blue and furry then they are nice. If someone is quiet then they are blue. All blue, quiet people are furry.
Anne is not white.
("Anne" "is" "white" "-")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
All quiet, nice people are white.
((("someone" "is" "quiet" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
If someone is cold then they are white.
((("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
If someone is nice and not cold then they are quiet.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "quiet" "+"))
Blue people are quiet.
((("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "+"))
All white, cold people are quiet.
((("someone" "is" "white" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
All white, nice people are not young.
((("someone" "is" "white" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "-"))
If someone is blue and furry then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
If someone is quiet then they are blue.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "+"))
All blue, quiet people are furry.
((("someone" "is" "blue" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
Erin is young.
True
1
proof
[(triple3)]
("Erin" "is" "young" "+")
triple3
Erin is not white.
False
1
inv-proof
[(triple2)]
("Erin" "is" "white" "-")
triple2
Harry is quiet.
True
2
proof
[(((triple5) -> rule4))]
("Harry" "is" "quiet" "+")
((triple5) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is not quiet.
False
2
inv-proof
[(((triple5) -> rule4))]
("Harry" "is" "quiet" "-")
((triple5) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
True
4
proof
[(((((triple5) -> rule4) triple7) -> rule1) OR ((((triple5) -> rule4) ((triple5 triple6) -> rule7)) -> rule1) OR ((((triple5) -> rule4) ((triple5 ((triple5 ((triple5) -> rule4)) -> rule9)) -> rule7)) -> rule1))]
("Harry" "is" "white" "+")
((((triple5) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((((triple5) -> (rule4 % int3)) ((triple5 triple6) -> (rule7 % int2))) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((triple5) -> (rule4 % int4)) ((triple5 ((triple5 ((triple5) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Fiona is not furry.
False
4
inv-proof
[(((triple4 ((triple4) -> rule4)) -> rule9))]
("Fiona" "is" "furry" "-")
((triple4 ((triple4) -> (rule4 % int2))) -> (rule9 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
True
6
proof
[(((triple4 ((triple4 ((triple4) -> rule4)) -> rule9)) -> rule7))]
("Fiona" "is" "nice" "+")
((triple4 ((triple4 ((triple4) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is not nice.
False
6
inv-proof
[(((triple4 ((triple4 ((triple4) -> rule4)) -> rule9)) -> rule7))]
("Fiona" "is" "nice" "-")
((triple4 ((triple4 ((triple4) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is white.
True
9
proof
[(((((triple4) -> rule4) ((triple4 ((triple4 ((triple4) -> rule4)) -> rule9)) -> rule7)) -> rule1))]
("Fiona" "is" "white" "+")
((((triple4) -> (rule4 % int4)) ((triple4 ((triple4 ((triple4) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is not white.
False
9
inv-proof
[(((((triple4) -> rule4) ((triple4 ((triple4 ((triple4) -> rule4)) -> rule9)) -> rule7)) -> rule1))]
("Fiona" "is" "white" "-")
((((triple4) -> (rule4 % int4)) ((triple4 ((triple4 ((triple4) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is not young.
True
16
proof
[(((((((triple4) -> rule4) ((triple4 ((triple4 ((triple4) -> rule4)) -> rule9)) -> rule7)) -> rule1) ((triple4 ((triple4 ((triple4) -> rule4)) -> rule9)) -> rule7)) -> rule6))]
("Fiona" "is" "young" "-")
((((((triple4) -> (rule4 % int5)) ((triple4 ((triple4 ((triple4) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple4 ((triple4 ((triple4) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule6 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
Fiona is young.
False
16
inv-proof
[(((((((triple4) -> rule4) ((triple4 ((triple4 ((triple4) -> rule4)) -> rule9)) -> rule7)) -> rule1) ((triple4 ((triple4 ((triple4) -> rule4)) -> rule9)) -> rule7)) -> rule6))]
("Fiona" "is" "young" "+")
((((((triple4) -> (rule4 % int5)) ((triple4 ((triple4 ((triple4) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple4 ((triple4 ((triple4) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule6 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
Anne is not nice.
Unknown
inv-rconc
[@3: Anne is nice.[CWA. Example of deepest failure = (rule7 <- rule8 <- rule3 <- FAIL)]]
("Anne" "is" "nice" "-")
Erin is blue.
Unknown
rconc
[@2: Erin is blue.[CWA. Example of deepest failure = (rule8 <- rule3 <- FAIL)]]
("Erin" "is" "blue" "+")
Anne is not blue.
Unknown
inv-rconc
[@2: Anne is blue.[CWA. Example of deepest failure = (rule8 <- rule3 <- FAIL)]]
("Anne" "is" "blue" "-")
Anne is furry.
Unknown
rconc
[@3: Anne is furry.[CWA. Example of deepest failure = (rule9 <- rule8 <- rule3 <- FAIL)]]
("Anne" "is" "furry" "+")
Erin is not quiet.
Unknown
inv-rconc
[@3: Erin is quiet.[CWA. Example of deepest failure = (rule4 <- rule8 <- rule3 <- FAIL)]]
("Erin" "is" "quiet" "-")
Anne is quiet.
Unknown
rconc
[@3: Anne is quiet.[CWA. Example of deepest failure = (rule4 <- rule8 <- rule3 <- FAIL)]]
("Anne" "is" "quiet" "+")
Anne is not young.
Unknown
inv-random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
Erin is not cold.
Unknown
inv-random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Anne is not white.[(triple1)] Erin is white.[(triple2)] Erin is young.[(triple3)] Fiona is blue.[(triple4)] Harry is blue.[(triple5)] Harry is furry.[(triple6 OR ((triple5 ((triple5) -> rule4)) -> rule9))] Harry is nice.[(triple7 OR ((triple5 triple6) -> rule7) OR ((triple5 ((triple5 ((triple5) -> rule4)) -> rule9)) -> rule7))] @1: Fiona is quiet.[(((triple4) -> rule4))] Harry is quiet.[(((triple5) -> rule4))] @2: Fiona is furry.[(((triple4 ((triple4) -> rule4)) -> rule9))] Harry is white.[(((((triple5) -> rule4) triple7) -> rule1) OR ((((triple5) -> rule4) ((triple5 triple6) -> rule7)) -> rule1) OR ((((triple5) -> rule4) ((triple5 ((triple5 ((triple5) -> rule4)) -> rule9)) -> rule7)) -> rule1))] @3: Fiona is nice.[(((triple4 ((triple4 ((triple4) -> rule4)) -> rule9)) -> rule7))] Harry is not young.[(((((((triple5) -> rule4) triple7) -> rule1) triple7) -> rule6) OR ((((((triple5) -> rule4) triple7) -> rule1) ((triple5 triple6) -> rule7)) -> rule6) OR ((((((triple5) -> rule4) ((triple5 triple6) -> rule7)) -> rule1) triple7) -> rule6) OR ((((((triple5) -> rule4) ((triple5 triple6) -> rule7)) -> rule1) ((triple5 triple6) -> rule7)) -> rule6) OR ((((((triple5) -> rule4) triple7) -> rule1) ((triple5 ((triple5 ((triple5) -> rule4)) -> rule9)) -> rule7)) -> rule6) OR ((((((triple5) -> rule4) ((triple5 triple6) -> rule7)) -> rule1) ((triple5 ((triple5 ((triple5) -> rule4)) -> rule9)) -> rule7)) -> rule6) OR ((((((triple5) -> rule4) ((triple5 ((triple5 ((triple5) -> rule4)) -> rule9)) -> rule7)) -> rule1) triple7) -> rule6) OR ((((((triple5) -> rule4) ((triple5 ((triple5 ((triple5) -> rule4)) -> rule9)) -> rule7)) -> rule1) ((triple5 triple6) -> rule7)) -> rule6) OR ((((((triple5) -> rule4) ((triple5 ((triple5 ((triple5) -> rule4)) -> rule9)) -> rule7)) -> rule1) ((triple5 ((triple5 ((triple5) -> rule4)) -> rule9)) -> rule7)) -> rule6))] @4: Fiona is white.[(((((triple4) -> rule4) ((triple4 ((triple4 ((triple4) -> rule4)) -> rule9)) -> rule7)) -> rule1))] @5: Fiona is not young.[(((((((triple4) -> rule4) ((triple4 ((triple4 ((triple4) -> rule4)) -> rule9)) -> rule7)) -> rule1) ((triple4 ((triple4 ((triple4) -> rule4)) -> rule9)) -> rule7)) -> rule6))]
Anne is not white.
("Anne" "is" "white" "-")
triple1
Erin is white.
("Erin" "is" "white" "+")
triple2
Erin is young.
("Erin" "is" "young" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple5
Harry is furry.
("Harry" "is" "furry" "+")
triple6
((triple5 ((triple5) -> (rule4 % int2))) -> (rule9 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
triple7
((triple5 triple6) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((triple5 ((triple5 ((triple5) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple4) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple5) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple4 ((triple4) -> (rule4 % int2))) -> (rule9 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
((((triple5) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((((triple5) -> (rule4 % int3)) ((triple5 triple6) -> (rule7 % int2))) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((triple5) -> (rule4 % int4)) ((triple5 ((triple5 ((triple5) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple4 ((triple4 ((triple4) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Harry is not young.
("Harry" "is" "young" "-")
((((((triple5) -> (rule4 % int3)) triple7) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Harry is not young.
("Harry" "is" "young" "-")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((((triple5) -> (rule4 % int4)) triple7) -> (rule1 % int3)) ((triple5 triple6) -> (rule7 % int2))) -> (rule6 % int1))
Harry is not young.
("Harry" "is" "young" "-")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((((triple5) -> (rule4 % int4)) ((triple5 triple6) -> (rule7 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Harry is not young.
("Harry" "is" "young" "-")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((((triple5) -> (rule4 % int4)) ((triple5 triple6) -> (rule7 % int3))) -> (rule1 % int2)) ((triple5 triple6) -> (rule7 % int3))) -> (rule6 % int1))
Harry is not young.
("Harry" "is" "young" "-")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((((triple5) -> (rule4 % int5)) triple7) -> (rule1 % int4)) ((triple5 ((triple5 ((triple5) -> (rule4 % int5))) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Harry is not young.
("Harry" "is" "young" "-")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((((triple5) -> (rule4 % int5)) ((triple5 triple6) -> (rule7 % int4))) -> (rule1 % int3)) ((triple5 ((triple5 ((triple5) -> (rule4 % int5))) -> (rule9 % int2))) -> (rule7 % int4))) -> (rule6 % int1))
Harry is not young.
("Harry" "is" "young" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((((triple5) -> (rule4 % int5)) ((triple5 ((triple5 ((triple5) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Harry is not young.
("Harry" "is" "young" "-")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((((triple5) -> (rule4 % int5)) ((triple5 ((triple5 ((triple5) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple5 triple6) -> (rule7 % int3))) -> (rule6 % int1))
Harry is not young.
("Harry" "is" "young" "-")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((((triple5) -> (rule4 % int5)) ((triple5 ((triple5 ((triple5) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple5 ((triple5 ((triple5) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule6 % int1))
Harry is not young.
("Harry" "is" "young" "-")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Fiona is white.
("Fiona" "is" "white" "+")
((((triple4) -> (rule4 % int4)) ((triple4 ((triple4 ((triple4) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is not young.
("Fiona" "is" "young" "-")
((((((triple4) -> (rule4 % int5)) ((triple4 ((triple4 ((triple4) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple4 ((triple4 ((triple4) -> (rule4 % int5))) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule6 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5