Bob is blue. Bob is not green. Bob is young. Erin is blue. Erin is furry. Erin is green. Erin is nice. Erin is rough. Erin is not young. Gary is blue. Gary is furry. Gary is not green. Gary is nice. Gary is rough. Gary is not smart. If Bob is blue and Bob is furry then Bob is not smart. All young things are blue.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is not green.
("Bob" "is" "green" "-")
Bob is young.
("Bob" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is not young.
("Erin" "is" "young" "-")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is not green.
("Gary" "is" "green" "-")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is not smart.
("Gary" "is" "smart" "-")
If Bob is blue and Bob is furry then Bob is not smart.
((("Bob" "is" "blue" "+") ("Bob" "is" "furry" "+")) -> ("Bob" "is" "smart" "-"))
All young things are blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
Gary is not smart.
True
1
proof
[(triple15)]
("Gary" "is" "smart" "-")
triple15
Bob is not blue.
False
1
inv-proof
[(triple1 OR ((triple3) -> rule2))]
("Bob" "is" "blue" "-")
triple1
((triple3) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Bob is blue.[(triple1 OR ((triple3) -> rule2))] Bob is not green.[(triple2)] Bob is young.[(triple3)] Erin is blue.[(triple4)] Erin is furry.[(triple5)] Erin is green.[(triple6)] Erin is nice.[(triple7)] Erin is not young.[(triple9)] Erin is rough.[(triple8)] Gary is blue.[(triple10)] Gary is furry.[(triple11)] Gary is nice.[(triple13)] Gary is not green.[(triple12)] Gary is not smart.[(triple15)] Gary is rough.[(triple14)]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
((triple3) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not green.
("Bob" "is" "green" "-")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
triple4
Erin is furry.
("Erin" "is" "furry" "+")
triple5
Erin is green.
("Erin" "is" "green" "+")
triple6
Erin is nice.
("Erin" "is" "nice" "+")
triple7
Erin is not young.
("Erin" "is" "young" "-")
triple9
Erin is rough.
("Erin" "is" "rough" "+")
triple8
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is furry.
("Gary" "is" "furry" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple13
Gary is not green.
("Gary" "is" "green" "-")
triple12
Gary is not smart.
("Gary" "is" "smart" "-")
triple15
Gary is rough.
("Gary" "is" "rough" "+")
triple14