Bob is big. Bob is blue. Bob is green. Bob is red. Bob is smart. Bob is young. Erin is big. Erin is not blue. Erin is green. Erin is not young. If someone is big and blue then they are furry. If Erin is smart and Erin is blue then Erin is not young.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is green.
("Erin" "is" "green" "+")
Erin is not young.
("Erin" "is" "young" "-")
If someone is big and blue then they are furry.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
If Erin is smart and Erin is blue then Erin is not young.
((("Erin" "is" "smart" "+") ("Erin" "is" "blue" "+")) -> ("Erin" "is" "young" "-"))
Erin is not blue.
True
1
proof
[(triple8)]
("Erin" "is" "blue" "-")
triple8
Erin is young.
False
1
inv-proof
[(triple10)]
("Erin" "is" "young" "+")
triple10
Erin is not furry.
Unknown
inv-rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "furry" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is green.[(triple3)] Bob is red.[(triple4)] Bob is smart.[(triple5)] Bob is young.[(triple6)] Erin is big.[(triple7)] Erin is green.[(triple9)] Erin is not blue.[(triple8)] Erin is not young.[(triple10)] @1: Bob is furry.[(((triple1 triple2) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is smart.
("Bob" "is" "smart" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple6
Erin is big.
("Erin" "is" "big" "+")
triple7
Erin is green.
("Erin" "is" "green" "+")
triple9
Erin is not blue.
("Erin" "is" "blue" "-")
triple8
Erin is not young.
("Erin" "is" "young" "-")
triple10
Bob is furry.
("Bob" "is" "furry" "+")
((triple1 triple2) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1