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