Anne is furry. Anne is nice. Anne is rough. Anne is young. Charlie is young. Erin is kind. Erin is nice. Erin is quiet. Erin is rough. Gary is kind. Gary is nice. Gary is round. All quiet people are young. All quiet, young people are nice.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
All quiet people are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
All quiet, young people are nice.
((("someone" "is" "quiet" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
Gary is kind.
True
1
proof
[(triple10)]
("Gary" "is" "kind" "+")
triple10
Charlie is not young.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "young" "-")
triple5
Erin is young.
True
2
proof
[(((triple8) -> rule1))]
("Erin" "is" "young" "+")
((triple8) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is not young.
False
2
inv-proof
[(((triple8) -> rule1))]
("Erin" "is" "young" "-")
((triple8) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "young" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "nice" "+")
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is rough.[(triple3)] Anne is young.[(triple4)] Charlie is young.[(triple5)] Erin is kind.[(triple6)] Erin is nice.[(triple7 OR ((triple8 ((triple8) -> rule1)) -> rule2))] Erin is quiet.[(triple8)] Erin is rough.[(triple9)] Gary is kind.[(triple10)] Gary is nice.[(triple11)] Gary is round.[(triple12)] @1: Erin is young.[(((triple8) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Erin is kind.
("Erin" "is" "kind" "+")
triple6
Erin is nice.
("Erin" "is" "nice" "+")
triple7
((triple8 ((triple8) -> (rule1 % int2))) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
Erin is rough.
("Erin" "is" "rough" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple12
Erin is young.
("Erin" "is" "young" "+")
((triple8) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1