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