Bob is big. Bob is kind. Bob is not nice. Charlie is big. Charlie is not white. Fiona is kind. Gary is nice. If Bob is big and Bob is kind then Bob is white. If something is white and not big then it is kind.
Bob is big.
("Bob" "is" "big" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is not nice.
("Bob" "is" "nice" "-")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is not white.
("Charlie" "is" "white" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If Bob is big and Bob is kind then Bob is white.
((("Bob" "is" "big" "+") ("Bob" "is" "kind" "+")) -> ("Bob" "is" "white" "+"))
If something is white and not big then it is kind.
((("something" "is" "white" "+") ("something" "is" "big" "~")) -> ("something" "is" "kind" "+"))
Bob is not nice.
True
1
proof
[(triple3)]
("Bob" "is" "nice" "-")
triple3
Charlie is white.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "white" "+")
triple5
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "kind" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Bob is not nice.[(triple3)] Charlie is big.[(triple4)] Charlie is not white.[(triple5)] Fiona is kind.[(triple6)] Gary is nice.[(triple7)] @1: Bob is white.[(((triple1 triple2) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is not nice.
("Bob" "is" "nice" "-")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is not white.
("Charlie" "is" "white" "-")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Bob is white.
("Bob" "is" "white" "+")
((triple1 triple2) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1