Bob is cold. Bob is kind. Bob is not nice. Bob is rough. Bob is young. Erin is cold. Erin is green. Erin is kind. Erin is nice. Erin is not quiet. Erin is rough. Erin is young. Gary is green. Gary is quiet. Gary is young. If Gary is not young then Gary is cold. If Bob is quiet then Bob is nice. All kind, nice things are cold. All nice, quiet things are cold. If something is nice and not young then it is not cold. If something is young and not cold then it is green.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is not nice.
("Bob" "is" "nice" "-")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is young.
("Gary" "is" "young" "+")
If Gary is not young then Gary is cold.
((("Gary" "is" "young" "~")) -> ("Gary" "is" "cold" "+"))
If Bob is quiet then Bob is nice.
((("Bob" "is" "quiet" "+")) -> ("Bob" "is" "nice" "+"))
All kind, nice things are cold.
((("something" "is" "kind" "+") ("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
All nice, quiet things are cold.
((("something" "is" "nice" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "cold" "+"))
If something is nice and not young then it is not cold.
((("something" "is" "nice" "+") ("something" "is" "young" "~")) -> ("something" "is" "cold" "-"))
If something is young and not cold then it is green.
((("something" "is" "young" "+") ("something" "is" "cold" "~")) -> ("something" "is" "green" "+"))
Erin is green.
True
1
proof
[(triple7)]
("Erin" "is" "green" "+")
triple7
Bob is not young.
False
1
inv-proof
[(triple5)]
("Bob" "is" "young" "-")
triple5
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "green" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Bob is not nice.[(triple3)] Bob is rough.[(triple4)] Bob is young.[(triple5)] Erin is cold.[(triple6 OR ((triple8 triple9) -> rule3))] Erin is green.[(triple7)] Erin is kind.[(triple8)] Erin is nice.[(triple9)] Erin is not quiet.[(triple10)] Erin is rough.[(triple11)] Erin is young.[(triple12)] Gary is green.[(triple13)] Gary is quiet.[(triple14)] Gary is young.[(triple15)]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is not nice.
("Bob" "is" "nice" "-")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple5
Erin is cold.
("Erin" "is" "cold" "+")
triple6
((triple8 triple9) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
triple7
Erin is kind.
("Erin" "is" "kind" "+")
triple8
Erin is nice.
("Erin" "is" "nice" "+")
triple9
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple10
Erin is rough.
("Erin" "is" "rough" "+")
triple11
Erin is young.
("Erin" "is" "young" "+")
triple12
Gary is green.
("Gary" "is" "green" "+")
triple13
Gary is quiet.
("Gary" "is" "quiet" "+")
triple14
Gary is young.
("Gary" "is" "young" "+")
triple15