Anne is big. Erin is red. Fiona is nice. Harry is red. If something is round and nice then it is red. If something is big then it is furry. If something is nice and young then it is round. Kind, furry things are young. All round, furry things are young. If something is big and red then it is furry. Nice, round things are young. Red things are kind.
Anne is big.
("Anne" "is" "big" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
If something is round and nice then it is red.
((("something" "is" "round" "+") ("something" "is" "nice" "+")) -> ("something" "is" "red" "+"))
If something is big then it is furry.
((("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
If something is nice and young then it is round.
((("something" "is" "nice" "+") ("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
Kind, furry things are young.
((("something" "is" "kind" "+") ("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
All round, furry things are young.
((("something" "is" "round" "+") ("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
If something is big and red then it is furry.
((("something" "is" "big" "+") ("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
Nice, round things are young.
((("something" "is" "nice" "+") ("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
Red things are kind.
((("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
Anne is big.
True
1
proof
[(triple1)]
("Anne" "is" "big" "+")
triple1
Anne is not big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "-")
triple1
Anne is not red.
Unknown
inv-rconc
[@1: Anne is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "red" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Anne is big.[(triple1)] Erin is red.[(triple2)] Fiona is nice.[(triple3)] Harry is red.[(triple4)] @1: Anne is furry.[(((triple1) -> rule2))] Erin is kind.[(((triple2) -> rule8))] Harry is kind.[(((triple4) -> rule8))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Erin is red.
("Erin" "is" "red" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Harry is red.
("Harry" "is" "red" "+")
triple4
Anne is furry.
("Anne" "is" "furry" "+")
((triple1) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((triple2) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple4) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1