Dave is big. Dave is blue. Dave is furry. Dave is kind. Dave is red. Dave is rough. Dave is round. Erin is blue. Erin is furry. Erin is red. Erin is round. Gary is big. Gary is blue. Gary is furry. Gary is red. Gary is rough. If someone is round and blue then they are kind. All blue, rough people are round.
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If someone is round and blue then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
All blue, rough people are round.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
Erin is furry.
True
1
proof
[(triple9)]
("Erin" "is" "furry" "+")
triple9
Dave is not kind.
False
1
inv-proof
[(triple4 OR ((triple7 triple2) -> rule1) OR ((((triple2 triple6) -> rule2) triple2) -> rule1))]
("Dave" "is" "kind" "-")
triple4
((triple7 triple2) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((((triple2 triple6) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Erin is kind.
True
3
proof
[(((triple11 triple8) -> rule1))]
("Erin" "is" "kind" "+")
((triple11 triple8) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is not kind.
False
3
inv-proof
[(((triple11 triple8) -> rule1))]
("Erin" "is" "kind" "-")
((triple11 triple8) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Gary is kind.
True
5
proof
[(((((triple13 triple16) -> rule2) triple13) -> rule1))]
("Gary" "is" "kind" "+")
((((triple13 triple16) -> (rule2 % int2)) triple13) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is not kind.
False
5
inv-proof
[(((((triple13 triple16) -> rule2) triple13) -> rule1))]
("Gary" "is" "kind" "-")
((((triple13 triple16) -> (rule2 % int2)) triple13) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Erin is not rough.
Unknown
inv-random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is furry.[(triple3)] Dave is kind.[(triple4 OR ((triple7 triple2) -> rule1) OR ((((triple2 triple6) -> rule2) triple2) -> rule1))] Dave is red.[(triple5)] Dave is rough.[(triple6)] Dave is round.[(triple7 OR ((triple2 triple6) -> rule2))] Erin is blue.[(triple8)] Erin is furry.[(triple9)] Erin is red.[(triple10)] Erin is round.[(triple11)] Gary is big.[(triple12)] Gary is blue.[(triple13)] Gary is furry.[(triple14)] Gary is red.[(triple15)] Gary is rough.[(triple16)] @1: Erin is kind.[(((triple11 triple8) -> rule1))] Gary is round.[(((triple13 triple16) -> rule2))] @2: Gary is kind.[(((((triple13 triple16) -> rule2) triple13) -> rule1))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple4
((triple7 triple2) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((((triple2 triple6) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple7
((triple2 triple6) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
triple8
Erin is furry.
("Erin" "is" "furry" "+")
triple9
Erin is red.
("Erin" "is" "red" "+")
triple10
Erin is round.
("Erin" "is" "round" "+")
triple11
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is blue.
("Gary" "is" "blue" "+")
triple13
Gary is furry.
("Gary" "is" "furry" "+")
triple14
Gary is red.
("Gary" "is" "red" "+")
triple15
Gary is rough.
("Gary" "is" "rough" "+")
triple16
Erin is kind.
("Erin" "is" "kind" "+")
((triple11 triple8) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple13 triple16) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((((triple13 triple16) -> (rule2 % int2)) triple13) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2