Bob is furry. Bob is not quiet. Bob is not red. Dave is not blue. Dave is furry. Dave is nice. Dave is quiet. Dave is red. Dave is smart. Dave is not young. Erin is young. Harry is not blue. Harry is nice. Harry is not quiet. Harry is smart. Harry is not young. All blue, young things are smart. Nice things are smart. If Bob is red then Bob is furry. Young things are quiet. Furry, blue things are quiet. If Erin is furry and Erin is not blue then Erin is quiet. If something is young and furry then it is red. If something is furry and not blue then it is nice.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not quiet.
("Bob" "is" "quiet" "-")
Bob is not red.
("Bob" "is" "red" "-")
Dave is not blue.
("Dave" "is" "blue" "-")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is not young.
("Dave" "is" "young" "-")
Erin is young.
("Erin" "is" "young" "+")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is not young.
("Harry" "is" "young" "-")
All blue, young things are smart.
((("something" "is" "blue" "+") ("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
Nice things are smart.
((("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
If Bob is red then Bob is furry.
((("Bob" "is" "red" "+")) -> ("Bob" "is" "furry" "+"))
Young things are quiet.
((("something" "is" "young" "+")) -> ("something" "is" "quiet" "+"))
Furry, blue things are quiet.
((("something" "is" "furry" "+") ("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
If Erin is furry and Erin is not blue then Erin is quiet.
((("Erin" "is" "furry" "+") ("Erin" "is" "blue" "~")) -> ("Erin" "is" "quiet" "+"))
If something is young and furry then it is red.
((("something" "is" "young" "+") ("something" "is" "furry" "+")) -> ("something" "is" "red" "+"))
If something is furry and not blue then it is nice.
((("something" "is" "furry" "+") ("something" "is" "blue" "~")) -> ("something" "is" "nice" "+"))
Erin is young.
True
1
proof
[(triple11)]
("Erin" "is" "young" "+")
triple11
Dave is blue.
False
1
inv-proof
[(triple4)]
("Dave" "is" "blue" "+")
triple4
Erin is not smart.
Unknown
inv-rconc
[@2: Erin is smart.[CWA. Example of deepest failure = (rule2 <- rule8 <- FAIL)]]
("Erin" "is" "smart" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Bob is furry.[(triple1)] Bob is not quiet.[(triple2)] Bob is not red.[(triple3)] Dave is furry.[(triple5)] Dave is nice.[(triple6 OR ((triple5 triple4) -> rule8))] Dave is not blue.[(triple4)] Dave is not young.[(triple10)] Dave is quiet.[(triple7)] Dave is red.[(triple8)] Dave is smart.[(triple9 OR ((triple6) -> rule2) OR ((((triple5 triple4) -> rule8)) -> rule2))] Erin is young.[(triple11)] Harry is nice.[(triple13)] Harry is not blue.[(triple12)] Harry is not quiet.[(triple14)] Harry is not young.[(triple16)] Harry is smart.[(triple15 OR ((triple13) -> rule2))] @1: Erin is quiet.[(((triple11) -> rule4))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is not quiet.
("Bob" "is" "quiet" "-")
triple2
Bob is not red.
("Bob" "is" "red" "-")
triple3
Dave is furry.
("Dave" "is" "furry" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple6
((triple5 triple4) -> (rule8 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not blue.
("Dave" "is" "blue" "-")
triple4
Dave is not young.
("Dave" "is" "young" "-")
triple10
Dave is quiet.
("Dave" "is" "quiet" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is smart.
("Dave" "is" "smart" "+")
triple9
((triple6) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((triple5 triple4) -> (rule8 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple13
Harry is not blue.
("Harry" "is" "blue" "-")
triple12
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple14
Harry is not young.
("Harry" "is" "young" "-")
triple16
Harry is smart.
("Harry" "is" "smart" "+")
triple15
((triple13) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple11) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1