Anne is furry. Fiona is furry. Fiona is quiet. Fiona is not round. Fiona is white. Fiona is young. Gary is furry. Gary is nice. Gary is quiet. Harry is nice. Harry is not quiet. Harry is white. All cold, furry people are not young. If someone is round then they are not young. If someone is quiet then they are young. If someone is young and not furry then they are not nice. If someone is furry and cold then they are not quiet. If someone is cold and not furry then they are quiet. Cold people are quiet. If Harry is nice and Harry is white then Harry is round.
Anne is furry.
("Anne" "is" "furry" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
Harry is white.
("Harry" "is" "white" "+")
All cold, furry people are not young.
((("someone" "is" "cold" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "young" "-"))
If someone is round then they are not young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "-"))
If someone is quiet then they are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
If someone is young and not furry then they are not nice.
((("someone" "is" "young" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "nice" "-"))
If someone is furry and cold then they are not quiet.
((("someone" "is" "furry" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "-"))
If someone is cold and not furry then they are quiet.
((("someone" "is" "cold" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "quiet" "+"))
Cold people are quiet.
((("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
If Harry is nice and Harry is white then Harry is round.
((("Harry" "is" "nice" "+") ("Harry" "is" "white" "+")) -> ("Harry" "is" "round" "+"))
Gary is furry.
True
1
proof
[(triple7)]
("Gary" "is" "furry" "+")
triple7
Fiona is not young.
False
1
inv-proof
[(triple6 OR ((triple3) -> rule3))]
("Fiona" "is" "young" "-")
triple6
((triple3) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Harry is round.
True
3
proof
[(((triple10 triple12) -> rule8))]
("Harry" "is" "round" "+")
((triple10 triple12) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Gary is not young.
False
2
inv-proof
[(((triple9) -> rule3))]
("Gary" "is" "young" "-")
((triple9) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Harry is not young.
True
4
proof
[(((((triple10 triple12) -> rule8)) -> rule2))]
("Harry" "is" "young" "-")
((((triple10 triple12) -> (rule8 % int2))) -> (rule2 % int1))
Harry is not young.
("Harry" "is" "young" "-")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
False
4
inv-proof
[(((((triple10 triple12) -> rule8)) -> rule2))]
("Harry" "is" "young" "+")
((((triple10 triple12) -> (rule8 % int2))) -> (rule2 % int1))
Harry is not young.
("Harry" "is" "young" "-")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Anne is not young.
Unknown
inv-rconc
[@2: Anne is young.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Anne" "is" "young" "-")
Anne is quiet.
Unknown
rconc
[@1: Anne is quiet.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "quiet" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is furry.[(triple1)] Fiona is furry.[(triple2)] Fiona is not round.[(triple4)] Fiona is quiet.[(triple3)] Fiona is white.[(triple5)] Fiona is young.[(triple6 OR ((triple3) -> rule3))] Gary is furry.[(triple7)] Gary is nice.[(triple8)] Gary is quiet.[(triple9)] Harry is nice.[(triple10)] Harry is not quiet.[(triple11)] Harry is white.[(triple12)] @1: Gary is young.[(((triple9) -> rule3))] Harry is round.[(((triple10 triple12) -> rule8))] @2: Harry is not young.[(((((triple10 triple12) -> rule8)) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Fiona is not round.
("Fiona" "is" "round" "-")
triple4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple3
Fiona is white.
("Fiona" "is" "white" "+")
triple5
Fiona is young.
("Fiona" "is" "young" "+")
triple6
((triple3) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple11
Harry is white.
("Harry" "is" "white" "+")
triple12
Gary is young.
("Gary" "is" "young" "+")
((triple9) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple10 triple12) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is not young.
("Harry" "is" "young" "-")
((((triple10 triple12) -> (rule8 % int2))) -> (rule2 % int1))
Harry is not young.
("Harry" "is" "young" "-")
int1
Harry is round.
("Harry" "is" "round" "+")
int2