Anne is furry. Anne is green. Anne is kind. Anne is red. Bob is cold. Bob is furry. Bob is green. Bob is kind. Dave is cold. Dave is furry. Dave is kind. Dave is red. Dave is round. Harry is green. Harry is rough. Harry is round. All red, round people are rough. All red, rough people are round.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
All red, round people are rough.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
All red, rough people are round.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
Anne is kind.
True
1
proof
[(triple3)]
("Anne" "is" "kind" "+")
triple3
Dave is not furry.
False
1
inv-proof
[(triple10)]
("Dave" "is" "furry" "-")
triple10
Dave is rough.
True
3
proof
[(((triple12 triple13) -> rule1))]
("Dave" "is" "rough" "+")
((triple12 triple13) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is not rough.
False
3
inv-proof
[(((triple12 triple13) -> rule1))]
("Dave" "is" "rough" "-")
((triple12 triple13) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "rough" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "round" "+")
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is red.[(triple4)] Bob is cold.[(triple5)] Bob is furry.[(triple6)] Bob is green.[(triple7)] Bob is kind.[(triple8)] Dave is cold.[(triple9)] Dave is furry.[(triple10)] Dave is kind.[(triple11)] Dave is red.[(triple12)] Dave is round.[(triple13)] Harry is green.[(triple14)] Harry is rough.[(triple15)] Harry is round.[(triple16)] @1: Dave is rough.[(((triple12 triple13) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is furry.
("Bob" "is" "furry" "+")
triple6
Bob is green.
("Bob" "is" "green" "+")
triple7
Bob is kind.
("Bob" "is" "kind" "+")
triple8
Dave is cold.
("Dave" "is" "cold" "+")
triple9
Dave is furry.
("Dave" "is" "furry" "+")
triple10
Dave is kind.
("Dave" "is" "kind" "+")
triple11
Dave is red.
("Dave" "is" "red" "+")
triple12
Dave is round.
("Dave" "is" "round" "+")
triple13
Harry is green.
("Harry" "is" "green" "+")
triple14
Harry is rough.
("Harry" "is" "rough" "+")
triple15
Harry is round.
("Harry" "is" "round" "+")
triple16
Dave is rough.
("Dave" "is" "rough" "+")
((triple12 triple13) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1