Fiona is kind. Gary is round. Harry is quiet. If something is kind and quiet then it is red. If something is furry then it is round. All round things are red. If something is kind then it is red. If something is furry and round then it is red. Young things are quiet. Round, furry things are young. All round things are quiet.
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
If something is kind and quiet then it is red.
((("something" "is" "kind" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "red" "+"))
If something is furry then it is round.
((("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
All round things are red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
If something is kind then it is red.
((("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
If something is furry and round then it is red.
((("something" "is" "furry" "+") ("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
Young things are quiet.
((("something" "is" "young" "+")) -> ("something" "is" "quiet" "+"))
Round, furry things are young.
((("something" "is" "round" "+") ("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
All round things are quiet.
((("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
Gary is round.
True
1
proof
[(triple2)]
("Gary" "is" "round" "+")
triple2
Harry is not quiet.
False
1
inv-proof
[(triple3)]
("Harry" "is" "quiet" "-")
triple3
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "round" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Fiona is kind.[(triple1)] Gary is round.[(triple2)] Harry is quiet.[(triple3)] @1: Fiona is red.[(((triple1) -> rule4))] Gary is quiet.[(((triple2) -> rule8))] Gary is red.[(((triple2) -> rule3))]
Fiona is kind.
("Fiona" "is" "kind" "+")
triple1
Gary is round.
("Gary" "is" "round" "+")
triple2
Harry is quiet.
("Harry" "is" "quiet" "+")
triple3
Fiona is red.
("Fiona" "is" "red" "+")
((triple1) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple2) -> (rule8 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple2) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1