Dave is red. Dave is round. Dave is not young. Fiona is not furry. Fiona is quiet. Fiona is white. Fiona is young. Gary is quiet. Gary is white. Harry is furry. Harry is quiet. Harry is red. Harry is round. Harry is not white. Harry is young. If Dave is cold and Dave is quiet then Dave is white. If someone is round and not young then they are quiet. If Dave is cold then Dave is not red. If someone is young and not cold then they are round. All furry people are red. If someone is young and not round then they are furry. If someone is cold and not white then they are furry. Red people are furry.
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is not young.
("Dave" "is" "young" "-")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is not white.
("Harry" "is" "white" "-")
Harry is young.
("Harry" "is" "young" "+")
If Dave is cold and Dave is quiet then Dave is white.
((("Dave" "is" "cold" "+") ("Dave" "is" "quiet" "+")) -> ("Dave" "is" "white" "+"))
If someone is round and not young then they are quiet.
((("someone" "is" "round" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "quiet" "+"))
If Dave is cold then Dave is not red.
((("Dave" "is" "cold" "+")) -> ("Dave" "is" "red" "-"))
If someone is young and not cold then they are round.
((("someone" "is" "young" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "round" "+"))
All furry people are red.
((("someone" "is" "furry" "+")) -> ("someone" "is" "red" "+"))
If someone is young and not round then they are furry.
((("someone" "is" "young" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "furry" "+"))
If someone is cold and not white then they are furry.
((("someone" "is" "cold" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "furry" "+"))
Red people are furry.
((("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
Fiona is white.
True
1
proof
[(triple6)]
("Fiona" "is" "white" "+")
triple6
Fiona is not white.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "white" "-")
triple6
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "round" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Dave is not young.[(triple3)] Dave is red.[(triple1)] Dave is round.[(triple2)] Fiona is not furry.[(triple4)] Fiona is quiet.[(triple5)] Fiona is white.[(triple6)] Fiona is young.[(triple7)] Gary is quiet.[(triple8)] Gary is white.[(triple9)] Harry is furry.[(triple10 OR ((triple12) -> rule8))] Harry is not white.[(triple14)] Harry is quiet.[(triple11)] Harry is red.[(triple12 OR ((triple10) -> rule5))] Harry is round.[(triple13)] Harry is young.[(triple15)] @1: Dave is furry.[(((triple1) -> rule8))] Dave is quiet.[(((triple2 triple3) -> rule2))]
Dave is not young.
("Dave" "is" "young" "-")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple1
Dave is round.
("Dave" "is" "round" "+")
triple2
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
Fiona is white.
("Fiona" "is" "white" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Gary is quiet.
("Gary" "is" "quiet" "+")
triple8
Gary is white.
("Gary" "is" "white" "+")
triple9
Harry is furry.
("Harry" "is" "furry" "+")
triple10
((triple12) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is not white.
("Harry" "is" "white" "-")
triple14
Harry is quiet.
("Harry" "is" "quiet" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple12
((triple10) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
triple13
Harry is young.
("Harry" "is" "young" "+")
triple15
Dave is furry.
("Dave" "is" "furry" "+")
((triple1) -> (rule8 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple2 triple3) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1