Fiona is not nice. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is white. Gary is big. Gary is furry. Gary is nice. Gary is not quiet. Gary is red. All rough people are not furry. If someone is big and not red then they are not white.
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is not quiet.
("Gary" "is" "quiet" "-")
Gary is red.
("Gary" "is" "red" "+")
All rough people are not furry.
((("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "-"))
If someone is big and not red then they are not white.
((("someone" "is" "big" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "white" "-"))
Gary is nice.
True
1
proof
[(triple8)]
("Gary" "is" "nice" "+")
triple8
Fiona is not quiet.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "quiet" "-")
triple2
Fiona is not furry.
True
2
proof
[(((triple4) -> rule1))]
("Fiona" "is" "furry" "-")
((triple4) -> (rule1 % int1))
Fiona is not furry.
("Fiona" "is" "furry" "-")
int1
Fiona is furry.
False
2
inv-proof
[(((triple4) -> rule1))]
("Fiona" "is" "furry" "+")
((triple4) -> (rule1 % int1))
Fiona is not furry.
("Fiona" "is" "furry" "-")
int1
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Fiona is not nice.[(triple1)] Fiona is quiet.[(triple2)] Fiona is red.[(triple3)] Fiona is rough.[(triple4)] Fiona is white.[(triple5)] Gary is big.[(triple6)] Gary is furry.[(triple7)] Gary is nice.[(triple8)] Gary is not quiet.[(triple9)] Gary is red.[(triple10)] @1: Fiona is not furry.[(((triple4) -> rule1))]
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple2
Fiona is red.
("Fiona" "is" "red" "+")
triple3
Fiona is rough.
("Fiona" "is" "rough" "+")
triple4
Fiona is white.
("Fiona" "is" "white" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is not quiet.
("Gary" "is" "quiet" "-")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple10
Fiona is not furry.
("Fiona" "is" "furry" "-")
((triple4) -> (rule1 % int1))
Fiona is not furry.
("Fiona" "is" "furry" "-")
int1