Fiona is big. Fiona is cold. Fiona is kind. Fiona is nice. Harry is big. Harry is nice. Harry is smart. If something is young then it is kind. If Fiona is not cold then Fiona is young. If Harry is big then Harry is furry. If something is young and big then it is furry. If something is cold and not young then it is big. If something is furry and not young then it is big. Kind, furry things are big. All smart, cold things are not big.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If something is young then it is kind.
((("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
If Fiona is not cold then Fiona is young.
((("Fiona" "is" "cold" "~")) -> ("Fiona" "is" "young" "+"))
If Harry is big then Harry is furry.
((("Harry" "is" "big" "+")) -> ("Harry" "is" "furry" "+"))
If something is young and big then it is furry.
((("something" "is" "young" "+") ("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
If something is cold and not young then it is big.
((("something" "is" "cold" "+") ("something" "is" "young" "~")) -> ("something" "is" "big" "+"))
If something is furry and not young then it is big.
((("something" "is" "furry" "+") ("something" "is" "young" "~")) -> ("something" "is" "big" "+"))
Kind, furry things are big.
((("something" "is" "kind" "+") ("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
All smart, cold things are not big.
((("something" "is" "smart" "+") ("something" "is" "cold" "+")) -> ("something" "is" "big" "-"))
Harry is big.
True
1
proof
[(triple5)]
("Harry" "is" "big" "+")
triple5
Fiona is not nice.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "nice" "-")
triple4
Harry is furry.
True
2
proof
[(((triple5) -> rule3))]
("Harry" "is" "furry" "+")
((triple5) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is not furry.
False
2
inv-proof
[(((triple5) -> rule3))]
("Harry" "is" "furry" "-")
((triple5) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "kind" "-")
Fiona is young.
Unknown
rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "young" "+")
Fiona is not smart.
Unknown
inv-random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2)] Fiona is kind.[(triple3)] Fiona is nice.[(triple4)] Harry is big.[(triple5)] Harry is nice.[(triple6)] Harry is smart.[(triple7)] @1: Harry is furry.[(((triple5) -> rule3))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
Fiona is nice.
("Fiona" "is" "nice" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple5
Harry is nice.
("Harry" "is" "nice" "+")
triple6
Harry is smart.
("Harry" "is" "smart" "+")
triple7
Harry is furry.
("Harry" "is" "furry" "+")
((triple5) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1