Anne is big. Charlie is red. Erin is big. Gary is furry. If Erin is furry then Erin is not white. If something is red and not nice then it is smart. All red things are not green. If something is nice and not furry then it is not green. Red things are not big. Nice, green things are not white.
Anne is big.
("Anne" "is" "big" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Erin is big.
("Erin" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
If Erin is furry then Erin is not white.
((("Erin" "is" "furry" "+")) -> ("Erin" "is" "white" "-"))
If something is red and not nice then it is smart.
((("something" "is" "red" "+") ("something" "is" "nice" "~")) -> ("something" "is" "smart" "+"))
All red things are not green.
((("something" "is" "red" "+")) -> ("something" "is" "green" "-"))
If something is nice and not furry then it is not green.
((("something" "is" "nice" "+") ("something" "is" "furry" "~")) -> ("something" "is" "green" "-"))
Red things are not big.
((("something" "is" "red" "+")) -> ("something" "is" "big" "-"))
Nice, green things are not white.
((("something" "is" "nice" "+") ("something" "is" "green" "+")) -> ("something" "is" "white" "-"))
Gary is furry.
True
1
proof
[(triple4)]
("Gary" "is" "furry" "+")
triple4
Gary is not furry.
False
1
inv-proof
[(triple4)]
("Gary" "is" "furry" "-")
triple4
Charlie is not green.
True
2
proof
[(((triple2) -> rule3))]
("Charlie" "is" "green" "-")
((triple2) -> (rule3 % int1))
Charlie is not green.
("Charlie" "is" "green" "-")
int1
Charlie is green.
False
2
inv-proof
[(((triple2) -> rule3))]
("Charlie" "is" "green" "+")
((triple2) -> (rule3 % int1))
Charlie is not green.
("Charlie" "is" "green" "-")
int1
Charlie is not smart.
Unknown
inv-rconc
[@1: Charlie is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "smart" "-")
Gary is smart.
Unknown
rconc
[@1: Gary is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "smart" "+")
Anne is not white.
Unknown
inv-random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Anne is big.[(triple1)] Charlie is red.[(triple2)] Erin is big.[(triple3)] Gary is furry.[(triple4)] @1: Charlie is not big.[(((triple2) -> rule5))] Charlie is not green.[(((triple2) -> rule3))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Erin is big.
("Erin" "is" "big" "+")
triple3
Gary is furry.
("Gary" "is" "furry" "+")
triple4
Charlie is not big.
("Charlie" "is" "big" "-")
((triple2) -> (rule5 % int1))
Charlie is not big.
("Charlie" "is" "big" "-")
int1
Charlie is not green.
("Charlie" "is" "green" "-")
((triple2) -> (rule3 % int1))
Charlie is not green.
("Charlie" "is" "green" "-")
int1