Anne is nice. Erin is blue. Erin is not kind. Fiona is not red. Gary is big. Gary is not blue. Gary is red. If Fiona is red and Fiona is not young then Fiona is not round. Nice things are round. If something is blue and not nice then it is not big. If Anne is big and Anne is blue then Anne is kind. If something is big and not nice then it is red. Round things are red.
Anne is nice.
("Anne" "is" "nice" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is not kind.
("Erin" "is" "kind" "-")
Fiona is not red.
("Fiona" "is" "red" "-")
Gary is big.
("Gary" "is" "big" "+")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is red.
("Gary" "is" "red" "+")
If Fiona is red and Fiona is not young then Fiona is not round.
((("Fiona" "is" "red" "+") ("Fiona" "is" "young" "~")) -> ("Fiona" "is" "round" "-"))
Nice things are round.
((("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
If something is blue and not nice then it is not big.
((("something" "is" "blue" "+") ("something" "is" "nice" "~")) -> ("something" "is" "big" "-"))
If Anne is big and Anne is blue then Anne is kind.
((("Anne" "is" "big" "+") ("Anne" "is" "blue" "+")) -> ("Anne" "is" "kind" "+"))
If something is big and not nice then it is red.
((("something" "is" "big" "+") ("something" "is" "nice" "~")) -> ("something" "is" "red" "+"))
Round things are red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
Gary is not blue.
True
1
proof
[(triple6)]
("Gary" "is" "blue" "-")
triple6
Fiona is red.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "red" "+")
triple4
Anne is round.
True
2
proof
[(((triple1) -> rule2))]
("Anne" "is" "round" "+")
((triple1) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is not round.
False
2
inv-proof
[(((triple1) -> rule2))]
("Anne" "is" "round" "-")
((triple1) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is red.
True
3
proof
[(((((triple1) -> rule2)) -> rule6))]
("Anne" "is" "red" "+")
((((triple1) -> (rule2 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is not red.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule6))]
("Anne" "is" "red" "-")
((((triple1) -> (rule2 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is not kind.
Unknown
inv-rconc
[@1: Anne is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Anne" "is" "kind" "-")
Fiona is round.
Unknown
rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "round" "+")
Erin is not red.
Unknown
inv-rconc
[@2: Erin is red.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Erin" "is" "red" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Anne is nice.[(triple1)] Erin is blue.[(triple2)] Erin is not kind.[(triple3)] Fiona is not red.[(triple4)] Gary is big.[(triple5)] Gary is not blue.[(triple6)] Gary is red.[(triple7)] @1: Anne is round.[(((triple1) -> rule2))] @2: Anne is red.[(((((triple1) -> rule2)) -> rule6))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Erin is blue.
("Erin" "is" "blue" "+")
triple2
Erin is not kind.
("Erin" "is" "kind" "-")
triple3
Fiona is not red.
("Fiona" "is" "red" "-")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple5
Gary is not blue.
("Gary" "is" "blue" "-")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple7
Anne is round.
("Anne" "is" "round" "+")
((triple1) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
((((triple1) -> (rule2 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2