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