Gary is nice. Gary is quiet. Gary is young. Rough things are furry. If something is nice then it is young. Quiet things are rough. If something is young and kind then it is furry. Rough, quiet things are furry. If something is young and rough then it is quiet.
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is young.
("Gary" "is" "young" "+")
Rough things are furry.
((("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
If something is nice then it is young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
Quiet things are rough.
((("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
If something is young and kind then it is furry.
((("something" "is" "young" "+") ("something" "is" "kind" "+")) -> ("something" "is" "furry" "+"))
Rough, quiet things are furry.
((("something" "is" "rough" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
If something is young and rough then it is quiet.
((("something" "is" "young" "+") ("something" "is" "rough" "+")) -> ("something" "is" "quiet" "+"))
Gary is nice.
True
1
proof
[(triple1)]
("Gary" "is" "nice" "+")
triple1
Gary is not nice.
False
1
inv-proof
[(triple1)]
("Gary" "is" "nice" "-")
triple1
Gary is rough.
True
2
proof
[(((triple2) -> rule3))]
("Gary" "is" "rough" "+")
((triple2) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not rough.
False
2
inv-proof
[(((triple2) -> rule3))]
("Gary" "is" "rough" "-")
((triple2) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Gary is nice.[(triple1)] Gary is quiet.[(triple2)] Gary is young.[(triple3 OR ((triple1) -> rule2))] @1: Gary is rough.[(((triple2) -> rule3))] @2: Gary is furry.[(((((triple2) -> rule3)) -> rule1) OR ((((triple2) -> rule3) triple2) -> rule5))]
Gary is nice.
("Gary" "is" "nice" "+")
triple1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple2
Gary is young.
("Gary" "is" "young" "+")
triple3
((triple1) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple2) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((triple2) -> (rule3 % int2)) triple2) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2