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