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