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