Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is smart. Fiona is not young. Harry is kind. Harry is not quiet. Harry is red. Harry is rough. Harry is not smart. Harry is not young. If Fiona is not furry then Fiona is not kind. Kind people are red. If someone is young and not red then they are rough. Red, young people are smart. If someone is rough and not furry then they are smart. If Fiona is furry and Fiona is smart then Fiona is rough.
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is not smart.
("Harry" "is" "smart" "-")
Harry is not young.
("Harry" "is" "young" "-")
If Fiona is not furry then Fiona is not kind.
((("Fiona" "is" "furry" "~")) -> ("Fiona" "is" "kind" "-"))
Kind people are red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is young and not red then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "rough" "+"))
Red, young people are smart.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
If someone is rough and not furry then they are smart.
((("someone" "is" "rough" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "smart" "+"))
If Fiona is furry and Fiona is smart then Fiona is rough.
((("Fiona" "is" "furry" "+") ("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "rough" "+"))
Harry is red.
True
1
proof
[(triple9 OR ((triple7) -> rule2))]
("Harry" "is" "red" "+")
triple9
((triple7) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is not kind.
False
1
inv-proof
[(triple7)]
("Harry" "is" "kind" "-")
triple7
Fiona is rough.
True
3
proof
[(((triple1 triple5) -> rule6))]
("Fiona" "is" "rough" "+")
((triple1 triple5) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not rough.
False
3
inv-proof
[(((triple1 triple5) -> rule6))]
("Fiona" "is" "rough" "-")
((triple1 triple5) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
@0: Fiona is furry.[(triple1)] Fiona is kind.[(triple2)] Fiona is not young.[(triple6)] Fiona is quiet.[(triple3)] Fiona is red.[(triple4 OR ((triple2) -> rule2))] Fiona is smart.[(triple5)] Harry is kind.[(triple7)] Harry is not quiet.[(triple8)] Harry is not smart.[(triple11)] Harry is not young.[(triple12)] Harry is red.[(triple9 OR ((triple7) -> rule2))] Harry is rough.[(triple10)] @1: Fiona is rough.[(((triple1 triple5) -> rule6))]
Fiona is furry.
("Fiona" "is" "furry" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Fiona is not young.
("Fiona" "is" "young" "-")
triple6
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple3
Fiona is red.
("Fiona" "is" "red" "+")
triple4
((triple2) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple5
Harry is kind.
("Harry" "is" "kind" "+")
triple7
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple8
Harry is not smart.
("Harry" "is" "smart" "-")
triple11
Harry is not young.
("Harry" "is" "young" "-")
triple12
Harry is red.
("Harry" "is" "red" "+")
triple9
((triple7) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple1 triple5) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1