Erin is big. Erin is quiet. Gary is not cold. If someone is cold and not green then they are round. Quiet people are not round. If someone is kind and not big then they are red.
Erin is big.
("Erin" "is" "big" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
If someone is cold and not green then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "round" "+"))
Quiet people are not round.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "round" "-"))
If someone is kind and not big then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "red" "+"))
Erin is quiet.
True
1
proof
[(triple2)]
("Erin" "is" "quiet" "+")
triple2
Erin is not quiet.
False
1
inv-proof
[(triple2)]
("Erin" "is" "quiet" "-")
triple2
Erin is not round.
True
2
proof
[(((triple2) -> rule2))]
("Erin" "is" "round" "-")
((triple2) -> (rule2 % int1))
Erin is not round.
("Erin" "is" "round" "-")
int1
Erin is round.
False
2
inv-proof
[(((triple2) -> rule2))]
("Erin" "is" "round" "+")
((triple2) -> (rule2 % int1))
Erin is not round.
("Erin" "is" "round" "-")
int1
Erin is not red.
Unknown
inv-rconc
[@1: Erin is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "red" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "round" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
@0: Erin is big.[(triple1)] Erin is quiet.[(triple2)] Gary is not cold.[(triple3)] @1: Erin is not round.[(((triple2) -> rule2))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2
Gary is not cold.
("Gary" "is" "cold" "-")
triple3
Erin is not round.
("Erin" "is" "round" "-")
((triple2) -> (rule2 % int1))
Erin is not round.
("Erin" "is" "round" "-")
int1