Anne is red. Anne is smart. Anne is white. Erin is furry. Erin is white. Erin is not young. Fiona is big. Fiona is not blue. Fiona is furry. Fiona is not red. Fiona is not smart. Gary is big. White people are red.
Anne is red.
("Anne" "is" "red" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is not young.
("Erin" "is" "young" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Gary is big.
("Gary" "is" "big" "+")
White people are red.
((("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
Anne is smart.
True
1
proof
[(triple2)]
("Anne" "is" "smart" "+")
triple2
Fiona is red.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "red" "+")
triple10
Erin is red.
True
2
proof
[(((triple5) -> rule1))]
("Erin" "is" "red" "+")
((triple5) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is not red.
False
2
inv-proof
[(((triple5) -> rule1))]
("Erin" "is" "red" "-")
((triple5) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "red" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Anne is red.[(triple1 OR ((triple3) -> rule1))] Anne is smart.[(triple2)] Anne is white.[(triple3)] Erin is furry.[(triple4)] Erin is not young.[(triple6)] Erin is white.[(triple5)] Fiona is big.[(triple7)] Fiona is furry.[(triple9)] Fiona is not blue.[(triple8)] Fiona is not red.[(triple10)] Fiona is not smart.[(triple11)] Gary is big.[(triple12)] @1: Erin is red.[(((triple5) -> rule1))]
Anne is red.
("Anne" "is" "red" "+")
triple1
((triple3) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
triple4
Erin is not young.
("Erin" "is" "young" "-")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple8
Fiona is not red.
("Fiona" "is" "red" "-")
triple10
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple11
Gary is big.
("Gary" "is" "big" "+")
triple12
Erin is red.
("Erin" "is" "red" "+")
((triple5) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1