Anne is quiet. Erin is furry. Gary is young. All young people are red. All quiet people are young. All quiet, red people are furry.
Anne is quiet.
("Anne" "is" "quiet" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Gary is young.
("Gary" "is" "young" "+")
All young people are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
All quiet people are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
All quiet, red people are furry.
((("someone" "is" "quiet" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
Erin is furry.
True
1
proof
[(triple2)]
("Erin" "is" "furry" "+")
triple2
Gary is not young.
False
1
inv-proof
[(triple3)]
("Gary" "is" "young" "-")
triple3
Gary is red.
True
2
proof
[(((triple3) -> rule1))]
("Gary" "is" "red" "+")
((triple3) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Anne is not young.
False
2
inv-proof
[(((triple1) -> rule2))]
("Anne" "is" "young" "-")
((triple1) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is red.
True
3
proof
[(((((triple1) -> rule2)) -> rule1))]
("Anne" "is" "red" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is not red.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule1))]
("Anne" "is" "red" "-")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is furry.
True
5
proof
[(((triple1 ((((triple1) -> rule2)) -> rule1)) -> rule3))]
("Anne" "is" "furry" "+")
((triple1 ((((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is not furry.
False
5
inv-proof
[(((triple1 ((((triple1) -> rule2)) -> rule1)) -> rule3))]
("Anne" "is" "furry" "-")
((triple1 ((((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Erin is not red.
Unknown
inv-rconc
[@2: Erin is red.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Erin" "is" "red" "-")
Gary is furry.
Unknown
rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "furry" "+")
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "young" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
Anne is not big.
Unknown
inv-random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is quiet.[(triple1)] Erin is furry.[(triple2)] Gary is young.[(triple3)] @1: Anne is young.[(((triple1) -> rule2))] Gary is red.[(((triple3) -> rule1))] @2: Anne is red.[(((((triple1) -> rule2)) -> rule1))] @3: Anne is furry.[(((triple1 ((((triple1) -> rule2)) -> rule1)) -> rule3))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Gary is young.
("Gary" "is" "young" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
((triple1) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple3) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
((triple1 ((((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3