Charlie is red. Fiona is kind. Gary is not rough. Red people are not big. If someone is young and not blue then they are not big. If someone is furry and not red then they are young.
Charlie is red.
("Charlie" "is" "red" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is not rough.
("Gary" "is" "rough" "-")
Red people are not big.
((("someone" "is" "red" "+")) -> ("someone" "is" "big" "-"))
If someone is young and not blue then they are not big.
((("someone" "is" "young" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "big" "-"))
If someone is furry and not red then they are young.
((("someone" "is" "furry" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "young" "+"))
Gary is not rough.
True
1
proof
[(triple3)]
("Gary" "is" "rough" "-")
triple3
Gary is rough.
False
1
inv-proof
[(triple3)]
("Gary" "is" "rough" "+")
triple3
Fiona is not young.
Unknown
inv-rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "young" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Charlie is red.[(triple1)] Fiona is kind.[(triple2)] Gary is not rough.[(triple3)] @1: Charlie is not big.[(((triple1) -> rule1))]
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Gary is not rough.
("Gary" "is" "rough" "-")
triple3
Charlie is not big.
("Charlie" "is" "big" "-")
((triple1) -> (rule1 % int1))
Charlie is not big.
("Charlie" "is" "big" "-")
int1