Bob is not big. Bob is smart. Charlie is kind. Charlie is rough. Charlie is round. Fiona is not big. Fiona is smart. If something is cold then it is smart.
Bob is not big.
("Bob" "is" "big" "-")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is smart.
("Fiona" "is" "smart" "+")
If something is cold then it is smart.
((("something" "is" "cold" "+")) -> ("something" "is" "smart" "+"))
Charlie is kind.
True
1
proof
[(triple3)]
("Charlie" "is" "kind" "+")
triple3
Fiona is not smart.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "smart" "-")
triple7
Charlie is not smart.
Unknown
inv-rconc
[@1: Charlie is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "smart" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is not big.[(triple1)] Bob is smart.[(triple2)] Charlie is kind.[(triple3)] Charlie is rough.[(triple4)] Charlie is round.[(triple5)] Fiona is not big.[(triple6)] Fiona is smart.[(triple7)]
Bob is not big.
("Bob" "is" "big" "-")
triple1
Bob is smart.
("Bob" "is" "smart" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Fiona is not big.
("Fiona" "is" "big" "-")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7