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