Anne is blue. Anne is kind. Anne is rough. Anne is not white. Bob is not red. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is smart. Erin is blue. Erin is kind. Erin is nice. Erin is rough. Erin is smart. Erin is white. Rough, blue people are nice. If someone is rough and kind then they are red.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is not white.
("Anne" "is" "white" "-")
Bob is not red.
("Bob" "is" "red" "-")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Rough, blue people are nice.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and kind then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
Anne is blue.
True
1
proof
[(triple1)]
("Anne" "is" "blue" "+")
triple1
Charlie is not smart.
False
1
inv-proof
[(triple9)]
("Charlie" "is" "smart" "-")
triple9
Charlie is red.
True
3
proof
[(((triple8 triple6) -> rule2))]
("Charlie" "is" "red" "+")
((triple8 triple6) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Erin is not red.
False
3
inv-proof
[(((triple13 triple11) -> rule2))]
("Erin" "is" "red" "-")
((triple13 triple11) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "nice" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Bob is not white.
Unknown
inv-random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is not white.[(triple4)] Anne is rough.[(triple3)] Bob is not red.[(triple5)] Charlie is kind.[(triple6)] Charlie is nice.[(triple7)] Charlie is rough.[(triple8)] Charlie is smart.[(triple9)] Erin is blue.[(triple10)] Erin is kind.[(triple11)] Erin is nice.[(triple12 OR ((triple13 triple10) -> rule1))] Erin is rough.[(triple13)] Erin is smart.[(triple14)] Erin is white.[(triple15)] @1: Anne is nice.[(((triple3 triple1) -> rule1))] Anne is red.[(((triple3 triple2) -> rule2))] Charlie is red.[(((triple8 triple6) -> rule2))] Erin is red.[(((triple13 triple11) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is not white.
("Anne" "is" "white" "-")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Bob is not red.
("Bob" "is" "red" "-")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
triple8
Charlie is smart.
("Charlie" "is" "smart" "+")
triple9
Erin is blue.
("Erin" "is" "blue" "+")
triple10
Erin is kind.
("Erin" "is" "kind" "+")
triple11
Erin is nice.
("Erin" "is" "nice" "+")
triple12
((triple13 triple10) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
triple13
Erin is smart.
("Erin" "is" "smart" "+")
triple14
Erin is white.
("Erin" "is" "white" "+")
triple15
Anne is nice.
("Anne" "is" "nice" "+")
((triple3 triple1) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
((triple3 triple2) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((triple8 triple6) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((triple13 triple11) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1