Bob is blue. Bob is green. Bob is not kind. Bob is not round. Bob is smart. Bob is young. Dave is furry. Dave is green. Dave is round. Dave is smart. Dave is young. Erin is blue. Erin is not furry. Erin is kind. Erin is smart. Erin is young. If someone is furry and not blue then they are kind. Young people are green.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is not round.
("Bob" "is" "round" "-")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
If someone is furry and not blue then they are kind.
((("someone" "is" "furry" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "kind" "+"))
Young people are green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
Erin is kind.
True
1
proof
[(triple14)]
("Erin" "is" "kind" "+")
triple14
Erin is furry.
False
1
inv-proof
[(triple13)]
("Erin" "is" "furry" "+")
triple13
Erin is green.
True
2
proof
[(((triple16) -> rule2))]
("Erin" "is" "green" "+")
((triple16) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not green.
False
2
inv-proof
[(((triple16) -> rule2))]
("Erin" "is" "green" "-")
((triple16) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "kind" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
Bob is not furry.
Unknown
inv-random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Bob is blue.[(triple1)] Bob is green.[(triple2 OR ((triple6) -> rule2))] Bob is not kind.[(triple3)] Bob is not round.[(triple4)] Bob is smart.[(triple5)] Bob is young.[(triple6)] Dave is furry.[(triple7)] Dave is green.[(triple8 OR ((triple11) -> rule2))] Dave is round.[(triple9)] Dave is smart.[(triple10)] Dave is young.[(triple11)] Erin is blue.[(triple12)] Erin is kind.[(triple14)] Erin is not furry.[(triple13)] Erin is smart.[(triple15)] Erin is young.[(triple16)] @1: Erin is green.[(((triple16) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
((triple6) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is not kind.
("Bob" "is" "kind" "-")
triple3
Bob is not round.
("Bob" "is" "round" "-")
triple4
Bob is smart.
("Bob" "is" "smart" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple6
Dave is furry.
("Dave" "is" "furry" "+")
triple7
Dave is green.
("Dave" "is" "green" "+")
triple8
((triple11) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
triple9
Dave is smart.
("Dave" "is" "smart" "+")
triple10
Dave is young.
("Dave" "is" "young" "+")
triple11
Erin is blue.
("Erin" "is" "blue" "+")
triple12
Erin is kind.
("Erin" "is" "kind" "+")
triple14
Erin is not furry.
("Erin" "is" "furry" "-")
triple13
Erin is smart.
("Erin" "is" "smart" "+")
triple15
Erin is young.
("Erin" "is" "young" "+")
triple16
Erin is green.
("Erin" "is" "green" "+")
((triple16) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1