Anne is quiet. Anne is smart. Dave is blue. Dave is furry. Dave is nice. Dave is quiet. Dave is round. Dave is smart. Erin is furry. Erin is quiet. Erin is rough. Erin is round. Harry is blue. Harry is quiet. Harry is smart. All smart, blue people are nice. Smart people are round.
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All smart, blue people are nice.
((("someone" "is" "smart" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
Smart people are round.
((("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
Dave is blue.
True
1
proof
[(triple3)]
("Dave" "is" "blue" "+")
triple3
Dave is not round.
False
1
inv-proof
[(triple7 OR ((triple8) -> rule2))]
("Dave" "is" "round" "-")
triple7
((triple8) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Harry is nice.
True
3
proof
[(((triple15 triple13) -> rule1))]
("Harry" "is" "nice" "+")
((triple15 triple13) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not round.
False
2
inv-proof
[(((triple15) -> rule2))]
("Harry" "is" "round" "-")
((triple15) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Anne is not nice.
Unknown
inv-rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "nice" "-")
Erin is nice.
Unknown
rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "nice" "+")
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
@0: Anne is quiet.[(triple1)] Anne is smart.[(triple2)] Dave is blue.[(triple3)] Dave is furry.[(triple4)] Dave is nice.[(triple5 OR ((triple8 triple3) -> rule1))] Dave is quiet.[(triple6)] Dave is round.[(triple7 OR ((triple8) -> rule2))] Dave is smart.[(triple8)] Erin is furry.[(triple9)] Erin is quiet.[(triple10)] Erin is rough.[(triple11)] Erin is round.[(triple12)] Harry is blue.[(triple13)] Harry is quiet.[(triple14)] Harry is smart.[(triple15)] @1: Anne is round.[(((triple2) -> rule2))] Harry is nice.[(((triple15 triple13) -> rule1))] Harry is round.[(((triple15) -> rule2))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Dave is blue.
("Dave" "is" "blue" "+")
triple3
Dave is furry.
("Dave" "is" "furry" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple5
((triple8 triple3) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple7
((triple8) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
triple8
Erin is furry.
("Erin" "is" "furry" "+")
triple9
Erin is quiet.
("Erin" "is" "quiet" "+")
triple10
Erin is rough.
("Erin" "is" "rough" "+")
triple11
Erin is round.
("Erin" "is" "round" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple13
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
Harry is smart.
("Harry" "is" "smart" "+")
triple15
Anne is round.
("Anne" "is" "round" "+")
((triple2) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple15 triple13) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple15) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1