Bob is big. Charlie is big. Fiona is round. If Bob is kind then Bob is white. If someone is round then they are white. Round people are kind.
Bob is big.
("Bob" "is" "big" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If Bob is kind then Bob is white.
((("Bob" "is" "kind" "+")) -> ("Bob" "is" "white" "+"))
If someone is round then they are white.
((("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
Round people are kind.
((("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
Charlie is big.
True
1
proof
[(triple2)]
("Charlie" "is" "big" "+")
triple2
Fiona is not round.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "round" "-")
triple3
Charlie is not white.
Unknown
inv-rconc
[@1: Charlie is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "white" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is big.[(triple1)] Charlie is big.[(triple2)] Fiona is round.[(triple3)] @1: Fiona is kind.[(((triple3) -> rule3))] Fiona is white.[(((triple3) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
triple3
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple3) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple3) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1