Anne is red. Anne is rough. Bob is not red. Bob is not rough. Erin is big. Erin is not blue. Erin is green. Erin is red. Erin is round. Gary is big. Gary is green. Gary is round. Big people are white. If someone is red and white then they are green.
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Bob is not red.
("Bob" "is" "red" "-")
Bob is not rough.
("Bob" "is" "rough" "-")
Erin is big.
("Erin" "is" "big" "+")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is green.
("Erin" "is" "green" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is round.
("Gary" "is" "round" "+")
Big people are white.
((("someone" "is" "big" "+")) -> ("someone" "is" "white" "+"))
If someone is red and white then they are green.
((("someone" "is" "red" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
Erin is red.
True
1
proof
[(triple8)]
("Erin" "is" "red" "+")
triple8
Erin is not big.
False
1
inv-proof
[(triple5)]
("Erin" "is" "big" "-")
triple5
Erin is white.
True
2
proof
[(((triple5) -> rule1))]
("Erin" "is" "white" "+")
((triple5) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Gary is not white.
False
2
inv-proof
[(((triple10) -> rule1))]
("Gary" "is" "white" "-")
((triple10) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Anne is not green.
Unknown
inv-rconc
[@2: Anne is green.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Anne" "is" "green" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "green" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
@0: Anne is red.[(triple1)] Anne is rough.[(triple2)] Bob is not red.[(triple3)] Bob is not rough.[(triple4)] Erin is big.[(triple5)] Erin is green.[(triple7 OR ((triple8 ((triple5) -> rule1)) -> rule2))] Erin is not blue.[(triple6)] Erin is red.[(triple8)] Erin is round.[(triple9)] Gary is big.[(triple10)] Gary is green.[(triple11)] Gary is round.[(triple12)] @1: Erin is white.[(((triple5) -> rule1))] Gary is white.[(((triple10) -> rule1))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Bob is not red.
("Bob" "is" "red" "-")
triple3
Bob is not rough.
("Bob" "is" "rough" "-")
triple4
Erin is big.
("Erin" "is" "big" "+")
triple5
Erin is green.
("Erin" "is" "green" "+")
triple7
((triple8 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is not blue.
("Erin" "is" "blue" "-")
triple6
Erin is red.
("Erin" "is" "red" "+")
triple8
Erin is round.
("Erin" "is" "round" "+")
triple9
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple12
Erin is white.
("Erin" "is" "white" "+")
((triple5) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple10) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1