Bob is quiet. Bob is rough. Bob is young. Charlie is cold. Charlie is quiet. Charlie is red. Charlie is rough. Erin is cold. Erin is kind. Erin is red. Erin is rough. Erin is young. If something is young and cold then it is blue.
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
If something is young and cold then it is blue.
((("something" "is" "young" "+") ("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
Charlie is quiet.
True
1
proof
[(triple5)]
("Charlie" "is" "quiet" "+")
triple5
Charlie is not quiet.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "quiet" "-")
triple5
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Bob is quiet.[(triple1)] Bob is rough.[(triple2)] Bob is young.[(triple3)] Charlie is cold.[(triple4)] Charlie is quiet.[(triple5)] Charlie is red.[(triple6)] Charlie is rough.[(triple7)] Erin is cold.[(triple8)] Erin is kind.[(triple9)] Erin is red.[(triple10)] Erin is rough.[(triple11)] Erin is young.[(triple12)] @1: Erin is blue.[(((triple12 triple8) -> rule1))]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
triple7
Erin is cold.
("Erin" "is" "cold" "+")
triple8
Erin is kind.
("Erin" "is" "kind" "+")
triple9
Erin is red.
("Erin" "is" "red" "+")
triple10
Erin is rough.
("Erin" "is" "rough" "+")
triple11
Erin is young.
("Erin" "is" "young" "+")
triple12
Erin is blue.
("Erin" "is" "blue" "+")
((triple12 triple8) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1