Dave is big. Dave is red. Dave is rough. Blue, young things are white. Young, red things are white. Red, kind things are white. If something is kind and red then it is rough. Kind things are young. All kind, rough things are white. Rough, big things are white. Young things are white.
Dave is big.
("Dave" "is" "big" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Blue, young things are white.
((("something" "is" "blue" "+") ("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
Young, red things are white.
((("something" "is" "young" "+") ("something" "is" "red" "+")) -> ("something" "is" "white" "+"))
Red, kind things are white.
((("something" "is" "red" "+") ("something" "is" "kind" "+")) -> ("something" "is" "white" "+"))
If something is kind and red then it is rough.
((("something" "is" "kind" "+") ("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
Kind things are young.
((("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
All kind, rough things are white.
((("something" "is" "kind" "+") ("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
Rough, big things are white.
((("something" "is" "rough" "+") ("something" "is" "big" "+")) -> ("something" "is" "white" "+"))
Young things are white.
((("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
Dave is big.
True
1
proof
[(triple1)]
("Dave" "is" "big" "+")
triple1
Dave is not big.
False
1
inv-proof
[(triple1)]
("Dave" "is" "big" "-")
triple1
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "young" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Dave is big.[(triple1)] Dave is red.[(triple2)] Dave is rough.[(triple3)] @1: Dave is white.[(((triple3 triple1) -> rule7))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Dave is white.
("Dave" "is" "white" "+")
((triple3 triple1) -> (rule7 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1