Charlie is smart. Fiona is not big. Fiona is rough. Gary is not big. Gary is not blue. Gary is green. Gary is smart. Big, red people are not smart. If someone is blue and not rough then they are big. If Charlie is not rough then Charlie is not big. If someone is green and not rough then they are not young. If someone is big and not rough then they are green. If someone is young and not big then they are not green.
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is not big.
("Gary" "is" "big" "-")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is green.
("Gary" "is" "green" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Big, red people are not smart.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "smart" "-"))
If someone is blue and not rough then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "big" "+"))
If Charlie is not rough then Charlie is not big.
((("Charlie" "is" "rough" "~")) -> ("Charlie" "is" "big" "-"))
If someone is green and not rough then they are not young.
((("someone" "is" "green" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "young" "-"))
If someone is big and not rough then they are green.
((("someone" "is" "big" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "green" "+"))
If someone is young and not big then they are not green.
((("someone" "is" "young" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "green" "-"))
Gary is green.
True
1
proof
[(triple6)]
("Gary" "is" "green" "+")
triple6
Fiona is big.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "big" "+")
triple2
Fiona is not green.
Unknown
inv-rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "green" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Charlie is smart.[(triple1)] Fiona is not big.[(triple2)] Fiona is rough.[(triple3)] Gary is green.[(triple6)] Gary is not big.[(triple4)] Gary is not blue.[(triple5)] Gary is smart.[(triple7)]
Charlie is smart.
("Charlie" "is" "smart" "+")
triple1
Fiona is not big.
("Fiona" "is" "big" "-")
triple2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is not big.
("Gary" "is" "big" "-")
triple4
Gary is not blue.
("Gary" "is" "blue" "-")
triple5
Gary is smart.
("Gary" "is" "smart" "+")
triple7