Bob is furry. Bob is smart. Fiona is kind. Young things are kind. If something is nice and not furry then it is cold. If something is smart and young then it is not round.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Young things are kind.
((("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
If something is nice and not furry then it is cold.
((("something" "is" "nice" "+") ("something" "is" "furry" "~")) -> ("something" "is" "cold" "+"))
If something is smart and young then it is not round.
((("something" "is" "smart" "+") ("something" "is" "young" "+")) -> ("something" "is" "round" "-"))
Bob is smart.
True
1
proof
[(triple2)]
("Bob" "is" "smart" "+")
triple2
Bob is not smart.
False
1
inv-proof
[(triple2)]
("Bob" "is" "smart" "-")
triple2
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "kind" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is furry.[(triple1)] Bob is smart.[(triple2)] Fiona is kind.[(triple3)]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is smart.
("Bob" "is" "smart" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3