Anne is cold. Anne is nice. Anne is not quiet. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is smart. Fiona is nice. Fiona is not white. Gary is not nice. White people are furry. If someone is white and cold then they are furry. Kind people are cold. If someone is quiet then they are not cold. Quiet, cold people are smart. If someone is furry then they are smart. If someone is smart and not quiet then they are nice. Kind, cold people are white.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is not quiet.
("Anne" "is" "quiet" "-")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
Gary is not nice.
("Gary" "is" "nice" "-")
White people are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
If someone is white and cold then they are furry.
((("someone" "is" "white" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
Kind people are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is quiet then they are not cold.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "-"))
Quiet, cold people are smart.
((("someone" "is" "quiet" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
If someone is furry then they are smart.
((("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
If someone is smart and not quiet then they are nice.
((("someone" "is" "smart" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "nice" "+"))
Kind, cold people are white.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
Anne is cold.
True
1
proof
[(triple1)]
("Anne" "is" "cold" "+")
triple1
Fiona is white.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "white" "+")
triple9
Charlie is white.
True
3
proof
[(((triple6 triple4) -> rule8) OR ((triple6 ((triple6) -> rule3)) -> rule8))]
("Charlie" "is" "white" "+")
((triple6 triple4) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((triple6 ((triple6) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is not white.
False
3
inv-proof
[(((triple6 triple4) -> rule8) OR ((triple6 ((triple6) -> rule3)) -> rule8))]
("Charlie" "is" "white" "-")
((triple6 triple4) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((triple6 ((triple6) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Gary is not furry.
Unknown
inv-rconc
[@2: Gary is furry.[CWA. Example of deepest failure = (rule1 <- rule8 <- FAIL)]]
("Gary" "is" "furry" "-")
Fiona is cold.
Unknown
rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "cold" "+")
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is not quiet.[(triple3)] Charlie is cold.[(triple4 OR ((triple6) -> rule3))] Charlie is furry.[(triple5 OR ((((triple6 triple4) -> rule8)) -> rule1) OR ((((triple6 triple4) -> rule8) triple4) -> rule2) OR ((((triple6 triple4) -> rule8) ((triple6) -> rule3)) -> rule2) OR ((((triple6 ((triple6) -> rule3)) -> rule8)) -> rule1) OR ((((triple6 ((triple6) -> rule3)) -> rule8) triple4) -> rule2) OR ((((triple6 ((triple6) -> rule3)) -> rule8) ((triple6) -> rule3)) -> rule2))] Charlie is kind.[(triple6)] Charlie is smart.[(triple7 OR ((triple5) -> rule6) OR ((((((triple6 triple4) -> rule8)) -> rule1)) -> rule6) OR ((((((triple6 triple4) -> rule8) triple4) -> rule2)) -> rule6) OR ((((((triple6 triple4) -> rule8) ((triple6) -> rule3)) -> rule2)) -> rule6) OR ((((((triple6 ((triple6) -> rule3)) -> rule8)) -> rule1)) -> rule6) OR ((((((triple6 ((triple6) -> rule3)) -> rule8) triple4) -> rule2)) -> rule6) OR ((((((triple6 ((triple6) -> rule3)) -> rule8) ((triple6) -> rule3)) -> rule2)) -> rule6))] Fiona is nice.[(triple8)] Fiona is not white.[(triple9)] Gary is not nice.[(triple10)] @1: Charlie is white.[(((triple6 triple4) -> rule8) OR ((triple6 ((triple6) -> rule3)) -> rule8))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
((triple6) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple5
((((triple6 triple4) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((triple6 triple4) -> (rule8 % int2)) triple4) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((triple6 triple4) -> (rule8 % int3)) ((triple6) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((triple6 ((triple6) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((triple6 ((triple6) -> (rule3 % int3))) -> (rule8 % int2)) triple4) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((triple6 ((triple6) -> (rule3 % int3))) -> (rule8 % int2)) ((triple6) -> (rule3 % int3))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is smart.
("Charlie" "is" "smart" "+")
triple7
((triple5) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((((triple6 triple4) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((triple6 triple4) -> (rule8 % int3)) triple4) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((triple6 triple4) -> (rule8 % int4)) ((triple6) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((triple6 ((triple6) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((triple6 ((triple6) -> (rule3 % int4))) -> (rule8 % int3)) triple4) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((triple6 ((triple6) -> (rule3 % int4))) -> (rule8 % int3)) ((triple6) -> (rule3 % int4))) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is not white.
("Fiona" "is" "white" "-")
triple9
Gary is not nice.
("Gary" "is" "nice" "-")
triple10
Charlie is white.
("Charlie" "is" "white" "+")
((triple6 triple4) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((triple6 ((triple6) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2