Bob is not big. Bob is blue. Bob is furry. Bob is not green. Bob is round. Bob is not white. Dave is big. Dave is furry. Dave is green. Dave is nice. Dave is round. Dave is not white. Erin is big. Erin is not blue. Erin is not green. Erin is round. Green, nice people are blue.
Bob is not big.
("Bob" "is" "big" "-")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not green.
("Bob" "is" "green" "-")
Bob is round.
("Bob" "is" "round" "+")
Bob is not white.
("Bob" "is" "white" "-")
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is not white.
("Dave" "is" "white" "-")
Erin is big.
("Erin" "is" "big" "+")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is not green.
("Erin" "is" "green" "-")
Erin is round.
("Erin" "is" "round" "+")
Green, nice people are blue.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
Erin is big.
True
1
proof
[(triple13)]
("Erin" "is" "big" "+")
triple13
Erin is blue.
False
1
inv-proof
[(triple14)]
("Erin" "is" "blue" "+")
triple14
Dave is blue.
True
3
proof
[(((triple9 triple10) -> rule1))]
("Dave" "is" "blue" "+")
((triple9 triple10) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is not blue.
False
3
inv-proof
[(((triple9 triple10) -> rule1))]
("Dave" "is" "blue" "-")
((triple9 triple10) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Bob is blue.[(triple2)] Bob is furry.[(triple3)] Bob is not big.[(triple1)] Bob is not green.[(triple4)] Bob is not white.[(triple6)] Bob is round.[(triple5)] Dave is big.[(triple7)] Dave is furry.[(triple8)] Dave is green.[(triple9)] Dave is nice.[(triple10)] Dave is not white.[(triple12)] Dave is round.[(triple11)] Erin is big.[(triple13)] Erin is not blue.[(triple14)] Erin is not green.[(triple15)] Erin is round.[(triple16)] @1: Dave is blue.[(((triple9 triple10) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is not big.
("Bob" "is" "big" "-")
triple1
Bob is not green.
("Bob" "is" "green" "-")
triple4
Bob is not white.
("Bob" "is" "white" "-")
triple6
Bob is round.
("Bob" "is" "round" "+")
triple5
Dave is big.
("Dave" "is" "big" "+")
triple7
Dave is furry.
("Dave" "is" "furry" "+")
triple8
Dave is green.
("Dave" "is" "green" "+")
triple9
Dave is nice.
("Dave" "is" "nice" "+")
triple10
Dave is not white.
("Dave" "is" "white" "-")
triple12
Dave is round.
("Dave" "is" "round" "+")
triple11
Erin is big.
("Erin" "is" "big" "+")
triple13
Erin is not blue.
("Erin" "is" "blue" "-")
triple14
Erin is not green.
("Erin" "is" "green" "-")
triple15
Erin is round.
("Erin" "is" "round" "+")
triple16
Dave is blue.
("Dave" "is" "blue" "+")
((triple9 triple10) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1