Fiona is furry. Fiona is not green. Fiona is not kind. Fiona is rough. Fiona is smart. Fiona is white. Harry is not big. Harry is furry. Harry is green. Harry is not kind. Harry is smart. Harry is white. If someone is kind then they are green. All big people are green. Kind, furry people are big. If someone is kind then they are furry. If someone is green and not smart then they are white. If someone is kind and not big then they are rough. If someone is furry and not smart then they are rough. If someone is green then they are rough.
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is not big.
("Harry" "is" "big" "-")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
If someone is kind then they are green.
((("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
All big people are green.
((("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
Kind, furry people are big.
((("someone" "is" "kind" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
If someone is kind then they are furry.
((("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
If someone is green and not smart then they are white.
((("someone" "is" "green" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "white" "+"))
If someone is kind and not big then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "rough" "+"))
If someone is furry and not smart then they are rough.
((("someone" "is" "furry" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "rough" "+"))
If someone is green then they are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Harry is furry.
True
1
proof
[(triple8)]
("Harry" "is" "furry" "+")
triple8
Harry is not white.
False
1
inv-proof
[(triple12)]
("Harry" "is" "white" "-")
triple12
Harry is rough.
True
2
proof
[(((triple9) -> rule8))]
("Harry" "is" "rough" "+")
((triple9) -> (rule8 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not rough.
False
2
inv-proof
[(((triple9) -> rule8))]
("Harry" "is" "rough" "-")
((triple9) -> (rule8 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
@0: Fiona is furry.[(triple1)] Fiona is not green.[(triple2)] Fiona is not kind.[(triple3)] Fiona is rough.[(triple4)] Fiona is smart.[(triple5)] Fiona is white.[(triple6)] Harry is furry.[(triple8)] Harry is green.[(triple9)] Harry is not big.[(triple7)] Harry is not kind.[(triple10)] Harry is smart.[(triple11)] Harry is white.[(triple12)] @1: Harry is rough.[(((triple9) -> rule8))]
Fiona is furry.
("Fiona" "is" "furry" "+")
triple1
Fiona is not green.
("Fiona" "is" "green" "-")
triple2
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple3
Fiona is rough.
("Fiona" "is" "rough" "+")
triple4
Fiona is smart.
("Fiona" "is" "smart" "+")
triple5
Fiona is white.
("Fiona" "is" "white" "+")
triple6
Harry is furry.
("Harry" "is" "furry" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is not big.
("Harry" "is" "big" "-")
triple7
Harry is not kind.
("Harry" "is" "kind" "-")
triple10
Harry is smart.
("Harry" "is" "smart" "+")
triple11
Harry is white.
("Harry" "is" "white" "+")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
((triple9) -> (rule8 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1