Anne is green. Bob is smart. Fiona is young. All green things are white. If something is young then it is kind. If something is young then it is red. Smart, red things are kind. All green, red things are nice. If Bob is white then Bob is nice.
Anne is green.
("Anne" "is" "green" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All green things are white.
((("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
If something is young then it is kind.
((("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
If something is young then it is red.
((("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
Smart, red things are kind.
((("something" "is" "smart" "+") ("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
All green, red things are nice.
((("something" "is" "green" "+") ("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
If Bob is white then Bob is nice.
((("Bob" "is" "white" "+")) -> ("Bob" "is" "nice" "+"))
Fiona is young.
True
1
proof
[(triple3)]
("Fiona" "is" "young" "+")
triple3
Anne is not green.
False
1
inv-proof
[(triple1)]
("Anne" "is" "green" "-")
triple1
Anne is not kind.
Unknown
inv-rconc
[@1: Anne is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "kind" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Anne is green.[(triple1)] Bob is smart.[(triple2)] Fiona is young.[(triple3)] @1: Anne is white.[(((triple1) -> rule1))] Fiona is kind.[(((triple3) -> rule2))] Fiona is red.[(((triple3) -> rule3))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Bob is smart.
("Bob" "is" "smart" "+")
triple2
Fiona is young.
("Fiona" "is" "young" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
((triple1) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple3) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple3) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1