Dave is big. Dave is green. Dave is not kind. Dave is nice. Erin is not smart. Fiona is smart. Gary is nice. Green, quiet people are not big. If someone is quiet and not green then they are kind. If someone is smart and not nice then they are kind. If someone is big and not smart then they are quiet. All kind people are rough. Nice people are not rough. If Dave is rough and Dave is smart then Dave is big. If Dave is not green then Dave is not quiet.
Dave is big.
("Dave" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is not kind.
("Dave" "is" "kind" "-")
Dave is nice.
("Dave" "is" "nice" "+")
Erin is not smart.
("Erin" "is" "smart" "-")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Green, quiet people are not big.
((("someone" "is" "green" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "-"))
If someone is quiet and not green then they are kind.
((("someone" "is" "quiet" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "kind" "+"))
If someone is smart and not nice then they are kind.
((("someone" "is" "smart" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "kind" "+"))
If someone is big and not smart then they are quiet.
((("someone" "is" "big" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "quiet" "+"))
All kind people are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Nice people are not rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "-"))
If Dave is rough and Dave is smart then Dave is big.
((("Dave" "is" "rough" "+") ("Dave" "is" "smart" "+")) -> ("Dave" "is" "big" "+"))
If Dave is not green then Dave is not quiet.
((("Dave" "is" "green" "~")) -> ("Dave" "is" "quiet" "-"))
Fiona is smart.
True
1
proof
[(triple6)]
("Fiona" "is" "smart" "+")
triple6
Erin is smart.
False
1
inv-proof
[(triple5)]
("Erin" "is" "smart" "+")
triple5
Gary is not quiet.
Unknown
inv-rconc
[@1: Gary is quiet.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "quiet" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Dave is big.[(triple1)] Dave is green.[(triple2)] Dave is nice.[(triple4)] Dave is not kind.[(triple3)] Erin is not smart.[(triple5)] Fiona is smart.[(triple6)] Gary is nice.[(triple7)] @1: Dave is not rough.[(((triple4) -> rule6))] Gary is not rough.[(((triple7) -> rule6))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is not kind.
("Dave" "is" "kind" "-")
triple3
Erin is not smart.
("Erin" "is" "smart" "-")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Dave is not rough.
("Dave" "is" "rough" "-")
((triple4) -> (rule6 % int1))
Dave is not rough.
("Dave" "is" "rough" "-")
int1
Gary is not rough.
("Gary" "is" "rough" "-")
((triple7) -> (rule6 % int1))
Gary is not rough.
("Gary" "is" "rough" "-")
int1