Bob is cold. Bob is nice. Charlie is blue. Erin is big. Erin is kind. Fiona is big. Fiona is green. If someone is big and rough then they are nice. Nice, cold people are blue. All nice, kind people are green.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
If someone is big and rough then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Nice, cold people are blue.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
All nice, kind people are green.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
Bob is cold.
True
1
proof
[(triple1)]
("Bob" "is" "cold" "+")
triple1
Erin is not kind.
False
1
inv-proof
[(triple5)]
("Erin" "is" "kind" "-")
triple5
Fiona is not blue.
Unknown
inv-rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "blue" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Bob is cold.[(triple1)] Bob is nice.[(triple2)] Charlie is blue.[(triple3)] Erin is big.[(triple4)] Erin is kind.[(triple5)] Fiona is big.[(triple6)] Fiona is green.[(triple7)] @1: Bob is blue.[(((triple2 triple1) -> rule2))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Bob is blue.
("Bob" "is" "blue" "+")
((triple2 triple1) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1