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