Anne is furry. Anne is nice. Anne is quiet. Anne is round. Anne is white. Charlie is furry. Dave is round. Dave is white. Dave is young. Erin is furry. All nice, white people are blue. If Charlie is quiet then Charlie is furry. If someone is blue then they are young.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is furry.
("Erin" "is" "furry" "+")
All nice, white people are blue.
((("someone" "is" "nice" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
If Charlie is quiet then Charlie is furry.
((("Charlie" "is" "quiet" "+")) -> ("Charlie" "is" "furry" "+"))
If someone is blue then they are young.
((("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Anne is quiet.
True
1
proof
[(triple3)]
("Anne" "is" "quiet" "+")
triple3
Anne is not white.
False
1
inv-proof
[(triple5)]
("Anne" "is" "white" "-")
triple5
Anne is blue.
True
3
proof
[(((triple2 triple5) -> rule1))]
("Anne" "is" "blue" "+")
((triple2 triple5) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is not blue.
False
3
inv-proof
[(((triple2 triple5) -> rule1))]
("Anne" "is" "blue" "-")
((triple2 triple5) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is young.
True
4
proof
[(((((triple2 triple5) -> rule1)) -> rule3))]
("Anne" "is" "young" "+")
((((triple2 triple5) -> (rule1 % int2))) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is not young.
False
4
inv-proof
[(((((triple2 triple5) -> rule1)) -> rule3))]
("Anne" "is" "young" "-")
((((triple2 triple5) -> (rule1 % int2))) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "blue" "-")
Erin is blue.
Unknown
rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "blue" "+")
Erin is not young.
Unknown
inv-rconc
[@2: Erin is young.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Erin" "is" "young" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3)] Anne is round.[(triple4)] Anne is white.[(triple5)] Charlie is furry.[(triple6)] Dave is round.[(triple7)] Dave is white.[(triple8)] Dave is young.[(triple9)] Erin is furry.[(triple10)] @1: Anne is blue.[(((triple2 triple5) -> rule1))] @2: Anne is young.[(((((triple2 triple5) -> rule1)) -> rule3))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
Charlie is furry.
("Charlie" "is" "furry" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple7
Dave is white.
("Dave" "is" "white" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple9
Erin is furry.
("Erin" "is" "furry" "+")
triple10
Anne is blue.
("Anne" "is" "blue" "+")
((triple2 triple5) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
((((triple2 triple5) -> (rule1 % int2))) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2