Anne is furry. Anne is kind. Anne is red. Anne is round. Charlie is round. Fiona is furry. Fiona is quiet. Fiona is red. Gary is round. Gary is young. Red things are furry. Young things are red.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
Red things are furry.
((("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
Young things are red.
((("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
Gary is round.
True
1
proof
[(triple9)]
("Gary" "is" "round" "+")
triple9
Fiona is not red.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "red" "-")
triple8
Gary is red.
True
2
proof
[(((triple10) -> rule2))]
("Gary" "is" "red" "+")
((triple10) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is not red.
False
2
inv-proof
[(((triple10) -> rule2))]
("Gary" "is" "red" "-")
((triple10) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is furry.
True
3
proof
[(((((triple10) -> rule2)) -> rule1))]
("Gary" "is" "furry" "+")
((((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is not furry.
False
3
inv-proof
[(((((triple10) -> rule2)) -> rule1))]
("Gary" "is" "furry" "-")
((((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Charlie is not furry.
Unknown
inv-rconc
[@2: Charlie is furry.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Charlie" "is" "furry" "-")
Charlie is red.
Unknown
rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "red" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is furry.[(triple1 OR ((triple3) -> rule1))] Anne is kind.[(triple2)] Anne is red.[(triple3)] Anne is round.[(triple4)] Charlie is round.[(triple5)] Fiona is furry.[(triple6 OR ((triple8) -> rule1))] Fiona is quiet.[(triple7)] Fiona is red.[(triple8)] Gary is round.[(triple9)] Gary is young.[(triple10)] @1: Gary is red.[(((triple10) -> rule2))] @2: Gary is furry.[(((((triple10) -> rule2)) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
((triple3) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
((triple8) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
((triple10) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2