Bob is smart. Fiona is smart. Gary is smart. All green, nice people are round. Red, white people are green. If someone is nice and smart then they are white. Round, green people are red. If Fiona is round and Fiona is nice then Fiona is red. All nice, round people are smart. Round people are big. Big people are white.
Bob is smart.
("Bob" "is" "smart" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is smart.
("Gary" "is" "smart" "+")
All green, nice people are round.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Red, white people are green.
((("someone" "is" "red" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and smart then they are white.
((("someone" "is" "nice" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
Round, green people are red.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If Fiona is round and Fiona is nice then Fiona is red.
((("Fiona" "is" "round" "+") ("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "red" "+"))
All nice, round people are smart.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "smart" "+"))
Round people are big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Big people are white.
((("someone" "is" "big" "+")) -> ("someone" "is" "white" "+"))
Gary is smart.
True
1
proof
[(triple3)]
("Gary" "is" "smart" "+")
triple3
Gary is not smart.
False
1
inv-proof
[(triple3)]
("Gary" "is" "smart" "-")
triple3
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "round" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Bob is smart.[(triple1)] Fiona is smart.[(triple2)] Gary is smart.[(triple3)]
Bob is smart.
("Bob" "is" "smart" "+")
triple1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple2
Gary is smart.
("Gary" "is" "smart" "+")
triple3