Dave is furry. Dave is red. Dave is young. Erin is blue. Erin is furry. Erin is green. Erin is red. Erin is rough. Erin is white. Erin is not young. Gary is blue. Gary is furry. Gary is red. Gary is rough. Gary is white. Gary is young. All blue things are green.
Dave is furry.
("Dave" "is" "furry" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is not young.
("Erin" "is" "young" "-")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
All blue things are green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
Erin is green.
True
1
proof
[(triple6 OR ((triple4) -> rule1))]
("Erin" "is" "green" "+")
triple6
((triple4) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not blue.
False
1
inv-proof
[(triple4)]
("Erin" "is" "blue" "-")
triple4
Gary is green.
True
2
proof
[(((triple11) -> rule1))]
("Gary" "is" "green" "+")
((triple11) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not green.
False
2
inv-proof
[(((triple11) -> rule1))]
("Gary" "is" "green" "-")
((triple11) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "green" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Dave is furry.[(triple1)] Dave is red.[(triple2)] Dave is young.[(triple3)] Erin is blue.[(triple4)] Erin is furry.[(triple5)] Erin is green.[(triple6 OR ((triple4) -> rule1))] Erin is not young.[(triple10)] Erin is red.[(triple7)] Erin is rough.[(triple8)] Erin is white.[(triple9)] Gary is blue.[(triple11)] Gary is furry.[(triple12)] Gary is red.[(triple13)] Gary is rough.[(triple14)] Gary is white.[(triple15)] Gary is young.[(triple16)] @1: Gary is green.[(((triple11) -> rule1))]
Dave is furry.
("Dave" "is" "furry" "+")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
triple4
Erin is furry.
("Erin" "is" "furry" "+")
triple5
Erin is green.
("Erin" "is" "green" "+")
triple6
((triple4) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not young.
("Erin" "is" "young" "-")
triple10
Erin is red.
("Erin" "is" "red" "+")
triple7
Erin is rough.
("Erin" "is" "rough" "+")
triple8
Erin is white.
("Erin" "is" "white" "+")
triple9
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is furry.
("Gary" "is" "furry" "+")
triple12
Gary is red.
("Gary" "is" "red" "+")
triple13
Gary is rough.
("Gary" "is" "rough" "+")
triple14
Gary is white.
("Gary" "is" "white" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
Gary is green.
("Gary" "is" "green" "+")
((triple11) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1