Anne is big. Bob is rough. Fiona is big. Gary is big. Big people are rough. All kind people are not blue. If Bob is big and Bob is not rough then Bob is kind.
Anne is big.
("Anne" "is" "big" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Gary is big.
("Gary" "is" "big" "+")
Big people are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
All kind people are not blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "-"))
If Bob is big and Bob is not rough then Bob is kind.
((("Bob" "is" "big" "+") ("Bob" "is" "rough" "~")) -> ("Bob" "is" "kind" "+"))
Fiona is big.
True
1
proof
[(triple3)]
("Fiona" "is" "big" "+")
triple3
Anne is not big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "-")
triple1
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "kind" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Anne is big.[(triple1)] Bob is rough.[(triple2)] Fiona is big.[(triple3)] Gary is big.[(triple4)] @1: Anne is rough.[(((triple1) -> rule1))] Fiona is rough.[(((triple3) -> rule1))] Gary is rough.[(((triple4) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
((triple1) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple3) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple4) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1