Bob is blue. Bob is smart. Charlie is nice. Charlie is rough. Erin is blue. Erin is rough. Erin is young. All young people are nice.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
All young people are nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
Bob is blue.
True
1
proof
[(triple1)]
("Bob" "is" "blue" "+")
triple1
Bob is not blue.
False
1
inv-proof
[(triple1)]
("Bob" "is" "blue" "-")
triple1
Erin is nice.
True
2
proof
[(((triple7) -> rule1))]
("Erin" "is" "nice" "+")
((triple7) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is not nice.
False
2
inv-proof
[(((triple7) -> rule1))]
("Erin" "is" "nice" "-")
((triple7) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "nice" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Bob is blue.[(triple1)] Bob is smart.[(triple2)] Charlie is nice.[(triple3)] Charlie is rough.[(triple4)] Erin is blue.[(triple5)] Erin is rough.[(triple6)] Erin is young.[(triple7)] @1: Erin is nice.[(((triple7) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is smart.
("Bob" "is" "smart" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Erin is blue.
("Erin" "is" "blue" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7
Erin is nice.
("Erin" "is" "nice" "+")
((triple7) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1