Anne is rough. Bob is big. Fiona is kind. If something is rough and young then it is kind. If something is smart then it is kind. All big things are not kind. Quiet things are smart. All quiet things are smart. All smart things are young. All cold things are big. If something is quiet and big then it is cold.
Anne is rough.
("Anne" "is" "rough" "+")
Bob is big.
("Bob" "is" "big" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
If something is rough and young then it is kind.
((("something" "is" "rough" "+") ("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
If something is smart then it is kind.
((("something" "is" "smart" "+")) -> ("something" "is" "kind" "+"))
All big things are not kind.
((("something" "is" "big" "+")) -> ("something" "is" "kind" "-"))
Quiet things are smart.
((("something" "is" "quiet" "+")) -> ("something" "is" "smart" "+"))
All quiet things are smart.
((("something" "is" "quiet" "+")) -> ("something" "is" "smart" "+"))
All smart things are young.
((("something" "is" "smart" "+")) -> ("something" "is" "young" "+"))
All cold things are big.
((("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
If something is quiet and big then it is cold.
((("something" "is" "quiet" "+") ("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
Fiona is kind.
True
1
proof
[(triple3)]
("Fiona" "is" "kind" "+")
triple3
Fiona is not kind.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "kind" "-")
triple3
Bob is not smart.
Unknown
inv-rconc
[@1: Bob is smart.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "smart" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Anne is rough.[(triple1)] Bob is big.[(triple2)] Fiona is kind.[(triple3)] @1: Bob is not kind.[(((triple2) -> rule3))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
Bob is not kind.
("Bob" "is" "kind" "-")
((triple2) -> (rule3 % int1))
Bob is not kind.
("Bob" "is" "kind" "-")
int1