Fiona is not big. Fiona is not blue. Fiona is furry. Fiona is green. Fiona is rough. Fiona is smart. Fiona is young. Harry is blue. Harry is furry. Harry is green. Harry is rough. Harry is young. If something is big and not rough then it is green. Young, blue things are smart. All big things are smart. If something is furry and not green then it is blue. If Harry is big and Harry is blue then Harry is not smart. If something is blue then it is furry. If something is blue and rough then it is furry. If something is big then it is furry.
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is big and not rough then it is green.
((("something" "is" "big" "+") ("something" "is" "rough" "~")) -> ("something" "is" "green" "+"))
Young, blue things are smart.
((("something" "is" "young" "+") ("something" "is" "blue" "+")) -> ("something" "is" "smart" "+"))
All big things are smart.
((("something" "is" "big" "+")) -> ("something" "is" "smart" "+"))
If something is furry and not green then it is blue.
((("something" "is" "furry" "+") ("something" "is" "green" "~")) -> ("something" "is" "blue" "+"))
If Harry is big and Harry is blue then Harry is not smart.
((("Harry" "is" "big" "+") ("Harry" "is" "blue" "+")) -> ("Harry" "is" "smart" "-"))
If something is blue then it is furry.
((("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
If something is blue and rough then it is furry.
((("something" "is" "blue" "+") ("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
If something is big then it is furry.
((("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
Fiona is rough.
True
1
proof
[(triple5)]
("Fiona" "is" "rough" "+")
triple5
Fiona is not green.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "green" "-")
triple4
Harry is smart.
True
3
proof
[(((triple12 triple8) -> rule2))]
("Harry" "is" "smart" "+")
((triple12 triple8) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is not smart.
False
3
inv-proof
[(((triple12 triple8) -> rule2))]
("Harry" "is" "smart" "-")
((triple12 triple8) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
@0: Fiona is furry.[(triple3)] Fiona is green.[(triple4)] Fiona is not big.[(triple1)] Fiona is not blue.[(triple2)] Fiona is rough.[(triple5)] Fiona is smart.[(triple6)] Fiona is young.[(triple7)] Harry is blue.[(triple8)] Harry is furry.[(triple9 OR ((triple8) -> rule6) OR ((triple8 triple11) -> rule7))] Harry is green.[(triple10)] Harry is rough.[(triple11)] Harry is young.[(triple12)] @1: Harry is smart.[(((triple12 triple8) -> rule2))]
Fiona is furry.
("Fiona" "is" "furry" "+")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
triple4
Fiona is not big.
("Fiona" "is" "big" "-")
triple1
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is furry.
("Harry" "is" "furry" "+")
triple9
((triple8) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((triple8 triple11) -> (rule7 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
Harry is smart.
("Harry" "is" "smart" "+")
((triple12 triple8) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1