Bob is young. Erin is green. Fiona is not big. If Erin is cold then Erin is kind. If something is kind and blue then it is green. All kind, green things are blue. Cold, big things are kind. If something is cold then it is not red. If something is young then it is red.
Bob is young.
("Bob" "is" "young" "+")
Erin is green.
("Erin" "is" "green" "+")
Fiona is not big.
("Fiona" "is" "big" "-")
If Erin is cold then Erin is kind.
((("Erin" "is" "cold" "+")) -> ("Erin" "is" "kind" "+"))
If something is kind and blue then it is green.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
All kind, green things are blue.
((("something" "is" "kind" "+") ("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
Cold, big things are kind.
((("something" "is" "cold" "+") ("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
If something is cold then it is not red.
((("something" "is" "cold" "+")) -> ("something" "is" "red" "-"))
If something is young then it is red.
((("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
Erin is green.
True
1
proof
[(triple2)]
("Erin" "is" "green" "+")
triple2
Erin is not green.
False
1
inv-proof
[(triple2)]
("Erin" "is" "green" "-")
triple2
Fiona is not red.
Unknown
inv-rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "red" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Bob is young.[(triple1)] Erin is green.[(triple2)] Fiona is not big.[(triple3)] @1: Bob is red.[(((triple1) -> rule6))]
Bob is young.
("Bob" "is" "young" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple2
Fiona is not big.
("Fiona" "is" "big" "-")
triple3
Bob is red.
("Bob" "is" "red" "+")
((triple1) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1