Anne is cold. Anne is furry. Anne is quiet. Bob is blue. Bob is furry. Bob is nice. Bob is quiet. Charlie is blue. Charlie is green. Dave is blue. Dave is furry. Dave is nice. Furry things are round. If Anne is round then Anne is nice.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Furry things are round.
((("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
If Anne is round then Anne is nice.
((("Anne" "is" "round" "+")) -> ("Anne" "is" "nice" "+"))
Bob is quiet.
True
1
proof
[(triple7)]
("Bob" "is" "quiet" "+")
triple7
Dave is not nice.
False
1
inv-proof
[(triple12)]
("Dave" "is" "nice" "-")
triple12
Anne is round.
True
2
proof
[(((triple2) -> rule1))]
("Anne" "is" "round" "+")
((triple2) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Bob is not round.
False
2
inv-proof
[(((triple5) -> rule1))]
("Bob" "is" "round" "-")
((triple5) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Anne is nice.
True
3
proof
[(((((triple2) -> rule1)) -> rule2))]
("Anne" "is" "nice" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is not nice.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule2))]
("Anne" "is" "nice" "-")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "round" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Charlie is not quiet.
Unknown
inv-random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is quiet.[(triple3)] Bob is blue.[(triple4)] Bob is furry.[(triple5)] Bob is nice.[(triple6)] Bob is quiet.[(triple7)] Charlie is blue.[(triple8)] Charlie is green.[(triple9)] Dave is blue.[(triple10)] Dave is furry.[(triple11)] Dave is nice.[(triple12)] @1: Anne is round.[(((triple2) -> rule1))] Bob is round.[(((triple5) -> rule1))] Dave is round.[(((triple11) -> rule1))] @2: Anne is nice.[(((((triple2) -> rule1)) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is furry.
("Bob" "is" "furry" "+")
triple5
Bob is nice.
("Bob" "is" "nice" "+")
triple6
Bob is quiet.
("Bob" "is" "quiet" "+")
triple7
Charlie is blue.
("Charlie" "is" "blue" "+")
triple8
Charlie is green.
("Charlie" "is" "green" "+")
triple9
Dave is blue.
("Dave" "is" "blue" "+")
triple10
Dave is furry.
("Dave" "is" "furry" "+")
triple11
Dave is nice.
("Dave" "is" "nice" "+")
triple12
Anne is round.
("Anne" "is" "round" "+")
((triple2) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((triple5) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple11) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2