Dave is big. Erin is big. Erin is not kind. Erin is rough. Fiona is big. Gary is nice. Gary is rough. If something is big and rough then it is not quiet.
Dave is big.
("Dave" "is" "big" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is not kind.
("Erin" "is" "kind" "-")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If something is big and rough then it is not quiet.
((("something" "is" "big" "+") ("something" "is" "rough" "+")) -> ("something" "is" "quiet" "-"))
Dave is big.
True
1
proof
[(triple1)]
("Dave" "is" "big" "+")
triple1
Erin is not rough.
False
1
inv-proof
[(triple4)]
("Erin" "is" "rough" "-")
triple4
Dave is not quiet.
Unknown
inv-random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Dave is big.[(triple1)] Erin is big.[(triple2)] Erin is not kind.[(triple3)] Erin is rough.[(triple4)] Fiona is big.[(triple5)] Gary is nice.[(triple6)] Gary is rough.[(triple7)] @1: Erin is not quiet.[(((triple2 triple4) -> rule1))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Erin is big.
("Erin" "is" "big" "+")
triple2
Erin is not kind.
("Erin" "is" "kind" "-")
triple3
Erin is rough.
("Erin" "is" "rough" "+")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Erin is not quiet.
("Erin" "is" "quiet" "-")
((triple2 triple4) -> (rule1 % int1))
Erin is not quiet.
("Erin" "is" "quiet" "-")
int1