Dave is not blue. Dave is furry. Dave is nice. Dave is quiet. Dave is not round. Dave is smart. Dave is not white. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is not round. Fiona is not smart. Fiona is white. Harry is nice. Harry is quiet. All round people are nice. If someone is round and not quiet then they are not nice. If someone is blue and round then they are furry. All blue people are furry. If Harry is nice then Harry is furry. If someone is round and not nice then they are smart.
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 not round.
("Dave" "is" "round" "-")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is not white.
("Dave" "is" "white" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
All round people are nice.
((("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and not quiet then they are not nice.
((("someone" "is" "round" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "nice" "-"))
If someone is blue and round then they are furry.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
All blue people are furry.
((("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
If Harry is nice then Harry is furry.
((("Harry" "is" "nice" "+")) -> ("Harry" "is" "furry" "+"))
If someone is round and not nice then they are smart.
((("someone" "is" "round" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "smart" "+"))
Dave is not white.
True
1
proof
[(triple7)]
("Dave" "is" "white" "-")
triple7
Fiona is smart.
False
1
inv-proof
[(triple13)]
("Fiona" "is" "smart" "+")
triple13
Harry is furry.
True
2
proof
[(((triple15) -> rule5))]
("Harry" "is" "furry" "+")
((triple15) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is not furry.
False
2
inv-proof
[(((triple15) -> rule5))]
("Harry" "is" "furry" "-")
((triple15) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is not smart.
Unknown
inv-rconc
[@1: Harry is smart.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "smart" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Dave is furry.[(triple2)] Dave is nice.[(triple3)] Dave is not blue.[(triple1)] Dave is not round.[(triple5)] Dave is not white.[(triple7)] Dave is quiet.[(triple4)] Dave is smart.[(triple6)] Fiona is blue.[(triple8)] Fiona is furry.[(triple9 OR ((triple8) -> rule4))] Fiona is nice.[(triple10)] Fiona is not round.[(triple12)] Fiona is not smart.[(triple13)] Fiona is quiet.[(triple11)] Fiona is white.[(triple14)] Harry is nice.[(triple15)] Harry is quiet.[(triple16)] @1: Harry is furry.[(((triple15) -> rule5))]
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is not blue.
("Dave" "is" "blue" "-")
triple1
Dave is not round.
("Dave" "is" "round" "-")
triple5
Dave is not white.
("Dave" "is" "white" "-")
triple7
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
Dave is smart.
("Dave" "is" "smart" "+")
triple6
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
((triple8) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
Fiona is not round.
("Fiona" "is" "round" "-")
triple12
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple13
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
Fiona is white.
("Fiona" "is" "white" "+")
triple14
Harry is nice.
("Harry" "is" "nice" "+")
triple15
Harry is quiet.
("Harry" "is" "quiet" "+")
triple16
Harry is furry.
("Harry" "is" "furry" "+")
((triple15) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1