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