Bob is not big. Bob is not green. Dave is not big. Dave is not green. Dave is kind. Dave is not red. Dave is not rough. Erin is big. Erin is rough. Gary is nice. Gary is red. Gary is rough. If someone is big and not nice then they are not red. Red, nice people are cold. If someone is cold then they are big. Red people are kind. If someone is green and not big then they are rough. If Gary is not kind then Gary is not rough.
Bob is not big.
("Bob" "is" "big" "-")
Bob is not green.
("Bob" "is" "green" "-")
Dave is not big.
("Dave" "is" "big" "-")
Dave is not green.
("Dave" "is" "green" "-")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is not red.
("Dave" "is" "red" "-")
Dave is not rough.
("Dave" "is" "rough" "-")
Erin is big.
("Erin" "is" "big" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If someone is big and not nice then they are not red.
((("someone" "is" "big" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "red" "-"))
Red, nice people are cold.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold then they are big.
((("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
Red people are kind.
((("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and not big then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "rough" "+"))
If Gary is not kind then Gary is not rough.
((("Gary" "is" "kind" "~")) -> ("Gary" "is" "rough" "-"))
Dave is not red.
True
1
proof
[(triple6)]
("Dave" "is" "red" "-")
triple6
Gary is not nice.
False
1
inv-proof
[(triple10)]
("Gary" "is" "nice" "-")
triple10
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "rough" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Bob is not big.[(triple1)] Bob is not green.[(triple2)] Dave is kind.[(triple5)] Dave is not big.[(triple3)] Dave is not green.[(triple4)] Dave is not red.[(triple6)] Dave is not rough.[(triple7)] Erin is big.[(triple8)] Erin is rough.[(triple9)] Gary is nice.[(triple10)] Gary is red.[(triple11)] Gary is rough.[(triple12)] @1: Gary is cold.[(((triple11 triple10) -> rule2))] Gary is kind.[(((triple11) -> rule4))] @2: Gary is big.[(((((triple11 triple10) -> rule2)) -> rule3))]
Bob is not big.
("Bob" "is" "big" "-")
triple1
Bob is not green.
("Bob" "is" "green" "-")
triple2
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Dave is not big.
("Dave" "is" "big" "-")
triple3
Dave is not green.
("Dave" "is" "green" "-")
triple4
Dave is not red.
("Dave" "is" "red" "-")
triple6
Dave is not rough.
("Dave" "is" "rough" "-")
triple7
Erin is big.
("Erin" "is" "big" "+")
triple8
Erin is rough.
("Erin" "is" "rough" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple11
Gary is rough.
("Gary" "is" "rough" "+")
triple12
Gary is cold.
("Gary" "is" "cold" "+")
((triple11 triple10) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple11) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((((triple11 triple10) -> (rule2 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2