Anne is furry. Dave is not big. Dave is furry. Dave is nice. Dave is white. Fiona is kind. Fiona is quiet. Gary is furry. Gary is nice. Gary is quiet. If something is white then it is blue. If something is quiet then it is white. If Anne is nice then Anne is furry. If Fiona is kind and Fiona is not furry then Fiona is nice. If something is furry and not blue then it is not kind. If something is furry and not big then it is kind.
Anne is furry.
("Anne" "is" "furry" "+")
Dave is not big.
("Dave" "is" "big" "-")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If something is white then it is blue.
((("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
If something is quiet then it is white.
((("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
If Anne is nice then Anne is furry.
((("Anne" "is" "nice" "+")) -> ("Anne" "is" "furry" "+"))
If Fiona is kind and Fiona is not furry then Fiona is nice.
((("Fiona" "is" "kind" "+") ("Fiona" "is" "furry" "~")) -> ("Fiona" "is" "nice" "+"))
If something is furry and not blue then it is not kind.
((("something" "is" "furry" "+") ("something" "is" "blue" "~")) -> ("something" "is" "kind" "-"))
If something is furry and not big then it is kind.
((("something" "is" "furry" "+") ("something" "is" "big" "~")) -> ("something" "is" "kind" "+"))
Fiona is kind.
True
1
proof
[(triple6)]
("Fiona" "is" "kind" "+")
triple6
Gary is not nice.
False
1
inv-proof
[(triple9)]
("Gary" "is" "nice" "-")
triple9
Dave is kind.
True
3
proof
[(((triple3 triple2) -> rule6))]
("Dave" "is" "kind" "+")
((triple3 triple2) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Gary is not white.
False
2
inv-proof
[(((triple10) -> rule2))]
("Gary" "is" "white" "-")
((triple10) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
True
3
proof
[(((((triple10) -> rule2)) -> rule1))]
("Gary" "is" "blue" "+")
((((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is not blue.
False
3
inv-proof
[(((((triple10) -> rule2)) -> rule1))]
("Gary" "is" "blue" "-")
((((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Anne is not white.
Unknown
inv-rconc
[@1: Anne is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "white" "-")
Anne is kind.
Unknown
rconc
[@1: Anne is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "kind" "+")
Fiona is not nice.
Unknown
inv-rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "nice" "-")
Anne is quiet.
Unknown
random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Anne is furry.[(triple1)] Dave is furry.[(triple3)] Dave is nice.[(triple4)] Dave is not big.[(triple2)] Dave is white.[(triple5)] Fiona is kind.[(triple6)] Fiona is quiet.[(triple7)] Gary is furry.[(triple8)] Gary is nice.[(triple9)] Gary is quiet.[(triple10)] @1: Dave is blue.[(((triple5) -> rule1))] Dave is kind.[(((triple3 triple2) -> rule6))] Fiona is white.[(((triple7) -> rule2))] Gary is white.[(((triple10) -> rule2))] @2: Fiona is blue.[(((((triple7) -> rule2)) -> rule1))] Gary is blue.[(((((triple10) -> rule2)) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is not big.
("Dave" "is" "big" "-")
triple2
Dave is white.
("Dave" "is" "white" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
Dave is blue.
("Dave" "is" "blue" "+")
((triple5) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((triple3 triple2) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple7) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple10) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
((((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2