Anne is not big. Anne is not blue. Anne is cold. Anne is green. Anne is nice. Anne is young. Erin is big. Erin is blue. Erin is green. Erin is not white. Fiona is green. Fiona is white. Gary is not big. Gary is green. Gary is young. Blue, green people are big. If someone is green and not cold then they are not big. If Gary is not young then Gary is not big.
Anne is not big.
("Anne" "is" "big" "-")
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is not white.
("Erin" "is" "white" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is not big.
("Gary" "is" "big" "-")
Gary is green.
("Gary" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
Blue, green people are big.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is green and not cold then they are not big.
((("someone" "is" "green" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "big" "-"))
If Gary is not young then Gary is not big.
((("Gary" "is" "young" "~")) -> ("Gary" "is" "big" "-"))
Anne is not blue.
True
1
proof
[(triple2)]
("Anne" "is" "blue" "-")
triple2
Erin is not blue.
False
1
inv-proof
[(triple8)]
("Erin" "is" "blue" "-")
triple8
Fiona is not big.
Unknown
inv-rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "big" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Anne is cold.[(triple3)] Anne is green.[(triple4)] Anne is nice.[(triple5)] Anne is not big.[(triple1)] Anne is not blue.[(triple2)] Anne is young.[(triple6)] Erin is big.[(triple7 OR ((triple8 triple9) -> rule1))] Erin is blue.[(triple8)] Erin is green.[(triple9)] Erin is not white.[(triple10)] Fiona is green.[(triple11)] Fiona is white.[(triple12)] Gary is green.[(triple14)] Gary is not big.[(triple13)] Gary is young.[(triple15)]
Anne is cold.
("Anne" "is" "cold" "+")
triple3
Anne is green.
("Anne" "is" "green" "+")
triple4
Anne is nice.
("Anne" "is" "nice" "+")
triple5
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is not blue.
("Anne" "is" "blue" "-")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple6
Erin is big.
("Erin" "is" "big" "+")
triple7
((triple8 triple9) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
triple8
Erin is green.
("Erin" "is" "green" "+")
triple9
Erin is not white.
("Erin" "is" "white" "-")
triple10
Fiona is green.
("Fiona" "is" "green" "+")
triple11
Fiona is white.
("Fiona" "is" "white" "+")
triple12
Gary is green.
("Gary" "is" "green" "+")
triple14
Gary is not big.
("Gary" "is" "big" "-")
triple13
Gary is young.
("Gary" "is" "young" "+")
triple15