Erin is rough. Erin is round. Erin is smart. Gary is kind. Gary is quiet. Gary is round. Gary is smart. All kind, rough things are not furry. All quiet, smart things are rough.
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
All kind, rough things are not furry.
((("something" "is" "kind" "+") ("something" "is" "rough" "+")) -> ("something" "is" "furry" "-"))
All quiet, smart things are rough.
((("something" "is" "quiet" "+") ("something" "is" "smart" "+")) -> ("something" "is" "rough" "+"))
Erin is smart.
True
1
proof
[(triple3)]
("Erin" "is" "smart" "+")
triple3
Gary is not kind.
False
1
inv-proof
[(triple4)]
("Gary" "is" "kind" "-")
triple4
Gary is rough.
True
3
proof
[(((triple5 triple7) -> rule2))]
("Gary" "is" "rough" "+")
((triple5 triple7) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not rough.
False
3
inv-proof
[(((triple5 triple7) -> rule2))]
("Gary" "is" "rough" "-")
((triple5 triple7) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not furry.
True
5
proof
[(((triple4 ((triple5 triple7) -> rule2)) -> rule1))]
("Gary" "is" "furry" "-")
((triple4 ((triple5 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Gary is not furry.
("Gary" "is" "furry" "-")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is furry.
False
5
inv-proof
[(((triple4 ((triple5 triple7) -> rule2)) -> rule1))]
("Gary" "is" "furry" "+")
((triple4 ((triple5 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Gary is not furry.
("Gary" "is" "furry" "-")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
@0: Erin is rough.[(triple1)] Erin is round.[(triple2)] Erin is smart.[(triple3)] Gary is kind.[(triple4)] Gary is quiet.[(triple5)] Gary is round.[(triple6)] Gary is smart.[(triple7)] @1: Gary is rough.[(((triple5 triple7) -> rule2))] @2: Gary is not furry.[(((triple4 ((triple5 triple7) -> rule2)) -> rule1))]
Erin is rough.
("Erin" "is" "rough" "+")
triple1
Erin is round.
("Erin" "is" "round" "+")
triple2
Erin is smart.
("Erin" "is" "smart" "+")
triple3
Gary is kind.
("Gary" "is" "kind" "+")
triple4
Gary is quiet.
("Gary" "is" "quiet" "+")
triple5
Gary is round.
("Gary" "is" "round" "+")
triple6
Gary is smart.
("Gary" "is" "smart" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
((triple5 triple7) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not furry.
("Gary" "is" "furry" "-")
((triple4 ((triple5 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Gary is not furry.
("Gary" "is" "furry" "-")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2