Anne is quiet. Anne is red. Anne is young. Bob is nice. Bob is red. Erin is nice. Erin is quiet. Erin is red. Gary is nice. Gary is quiet. If something is red and not nice then it is quiet. Red, quiet things are young. If Erin is rough and Erin is not nice then Erin is blue.
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If something is red and not nice then it is quiet.
((("something" "is" "red" "+") ("something" "is" "nice" "~")) -> ("something" "is" "quiet" "+"))
Red, quiet things are young.
((("something" "is" "red" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
If Erin is rough and Erin is not nice then Erin is blue.
((("Erin" "is" "rough" "+") ("Erin" "is" "nice" "~")) -> ("Erin" "is" "blue" "+"))
Anne is quiet.
True
1
proof
[(triple1)]
("Anne" "is" "quiet" "+")
triple1
Bob is not red.
False
1
inv-proof
[(triple5)]
("Bob" "is" "red" "-")
triple5
Erin is young.
True
3
proof
[(((triple8 triple7) -> rule2))]
("Erin" "is" "young" "+")
((triple8 triple7) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is not young.
False
3
inv-proof
[(((triple8 triple7) -> rule2))]
("Erin" "is" "young" "-")
((triple8 triple7) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "young" "-")
Bob is quiet.
Unknown
rconc
[@1: Bob is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "quiet" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Anne is quiet.[(triple1)] Anne is red.[(triple2)] Anne is young.[(triple3 OR ((triple2 triple1) -> rule2))] Bob is nice.[(triple4)] Bob is red.[(triple5)] Erin is nice.[(triple6)] Erin is quiet.[(triple7)] Erin is red.[(triple8)] Gary is nice.[(triple9)] Gary is quiet.[(triple10)] @1: Erin is young.[(((triple8 triple7) -> rule2))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
((triple2 triple1) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple6
Erin is quiet.
("Erin" "is" "quiet" "+")
triple7
Erin is red.
("Erin" "is" "red" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
Erin is young.
("Erin" "is" "young" "+")
((triple8 triple7) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1