Bob is big. Bob is furry. Bob is green. Bob is rough. Bob is round. Erin is big. Erin is green. If someone is round then they are kind. If someone is rough and blue then they are kind. All kind, green people are rough.
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is green.
("Erin" "is" "green" "+")
If someone is round then they are kind.
((("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and blue then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
All kind, green people are rough.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Bob is round.
True
1
proof
[(triple5)]
("Bob" "is" "round" "+")
triple5
Erin is not big.
False
1
inv-proof
[(triple6)]
("Erin" "is" "big" "-")
triple6
Bob is kind.
True
2
proof
[(((triple5) -> rule1))]
("Bob" "is" "kind" "+")
((triple5) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is not kind.
False
2
inv-proof
[(((triple5) -> rule1))]
("Bob" "is" "kind" "-")
((triple5) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Erin is not kind.
Unknown
inv-rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "kind" "-")
Erin is rough.
Unknown
rconc
[@2: Erin is rough.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Erin" "is" "rough" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is rough.[(triple4 OR ((((triple5) -> rule1) triple3) -> rule3))] Bob is round.[(triple5)] Erin is big.[(triple6)] Erin is green.[(triple7)] @1: Bob is kind.[(((triple5) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
((((triple5) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
triple5
Erin is big.
("Erin" "is" "big" "+")
triple6
Erin is green.
("Erin" "is" "green" "+")
triple7
Bob is kind.
("Bob" "is" "kind" "+")
((triple5) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1