Anne is not blue. Anne is not nice. Anne is red. Fiona is furry. Fiona is not nice. Gary is blue. Gary is furry. Gary is quiet. Gary is red. Gary is smart. Round things are blue. If something is nice and not quiet then it is blue. Furry, blue things are round. Round things are nice. If something is blue and not quiet then it is furry. All nice things are smart. If something is red and not round then it is smart. If something is quiet then it is smart.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is not nice.
("Anne" "is" "nice" "-")
Anne is red.
("Anne" "is" "red" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Round things are blue.
((("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
If something is nice and not quiet then it is blue.
((("something" "is" "nice" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "blue" "+"))
Furry, blue things are round.
((("something" "is" "furry" "+") ("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
Round things are nice.
((("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
If something is blue and not quiet then it is furry.
((("something" "is" "blue" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "furry" "+"))
All nice things are smart.
((("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
If something is red and not round then it is smart.
((("something" "is" "red" "+") ("something" "is" "round" "~")) -> ("something" "is" "smart" "+"))
If something is quiet then it is smart.
((("something" "is" "quiet" "+")) -> ("something" "is" "smart" "+"))
Anne is not nice.
True
1
proof
[(triple2)]
("Anne" "is" "nice" "-")
triple2
Fiona is not furry.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "furry" "-")
triple4
Gary is round.
True
3
proof
[(((triple7 triple6) -> rule3))]
("Gary" "is" "round" "+")
((triple7 triple6) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
3
inv-proof
[(((triple7 triple6) -> rule3))]
("Gary" "is" "round" "-")
((triple7 triple6) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
True
4
proof
[(((((triple7 triple6) -> rule3)) -> rule4))]
("Gary" "is" "nice" "+")
((((triple7 triple6) -> (rule3 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is not nice.
False
4
inv-proof
[(((((triple7 triple6) -> rule3)) -> rule4))]
("Gary" "is" "nice" "-")
((((triple7 triple6) -> (rule3 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Anne is not smart.
Unknown
inv-rconc
[@1: Anne is smart.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "smart" "-")
Fiona is round.
Unknown
rconc
[@2: Fiona is round.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Fiona" "is" "round" "+")
Anne is not round.
Unknown
inv-rconc
[@1: Anne is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "round" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Anne is quiet.
Unknown
random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "+")
@0: Anne is not blue.[(triple1)] Anne is not nice.[(triple2)] Anne is red.[(triple3)] Fiona is furry.[(triple4)] Fiona is not nice.[(triple5)] Gary is blue.[(triple6)] Gary is furry.[(triple7)] Gary is quiet.[(triple8)] Gary is red.[(triple9)] Gary is smart.[(triple10 OR ((triple8) -> rule8) OR ((((((triple7 triple6) -> rule3)) -> rule4)) -> rule6))] @1: Gary is round.[(((triple7 triple6) -> rule3))] @2: Gary is nice.[(((((triple7 triple6) -> rule3)) -> rule4))]
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Anne is not nice.
("Anne" "is" "nice" "-")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple7
Gary is quiet.
("Gary" "is" "quiet" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is smart.
("Gary" "is" "smart" "+")
triple10
((triple8) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((((((triple7 triple6) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
((triple7 triple6) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((((triple7 triple6) -> (rule3 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2