Bob is rough. Erin is furry. Erin is rough. If Bob is furry and Bob is red then Bob is kind. Furry, rough people are young. If someone is furry and young then they are not kind.
Bob is rough.
("Bob" "is" "rough" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is rough.
("Erin" "is" "rough" "+")
If Bob is furry and Bob is red then Bob is kind.
((("Bob" "is" "furry" "+") ("Bob" "is" "red" "+")) -> ("Bob" "is" "kind" "+"))
Furry, rough people are young.
((("someone" "is" "furry" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is furry and young then they are not kind.
((("someone" "is" "furry" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "-"))
Bob is rough.
True
1
proof
[(triple1)]
("Bob" "is" "rough" "+")
triple1
Bob is not rough.
False
1
inv-proof
[(triple1)]
("Bob" "is" "rough" "-")
triple1
Erin is young.
True
3
proof
[(((triple2 triple3) -> rule2))]
("Erin" "is" "young" "+")
((triple2 triple3) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is not young.
False
3
inv-proof
[(((triple2 triple3) -> rule2))]
("Erin" "is" "young" "-")
((triple2 triple3) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is not kind.
True
5
proof
[(((triple2 ((triple2 triple3) -> rule2)) -> rule3))]
("Erin" "is" "kind" "-")
((triple2 ((triple2 triple3) -> (rule2 % int2))) -> (rule3 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is kind.
False
5
inv-proof
[(((triple2 ((triple2 triple3) -> rule2)) -> rule3))]
("Erin" "is" "kind" "+")
((triple2 ((triple2 triple3) -> (rule2 % int2))) -> (rule3 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "kind" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "young" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Bob is rough.[(triple1)] Erin is furry.[(triple2)] Erin is rough.[(triple3)] @1: Erin is young.[(((triple2 triple3) -> rule2))] @2: Erin is not kind.[(((triple2 ((triple2 triple3) -> rule2)) -> rule3))]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is rough.
("Erin" "is" "rough" "+")
triple3
Erin is young.
("Erin" "is" "young" "+")
((triple2 triple3) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is not kind.
("Erin" "is" "kind" "-")
((triple2 ((triple2 triple3) -> (rule2 % int2))) -> (rule3 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1
Erin is young.
("Erin" "is" "young" "+")
int2