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