Erin is cold. Erin is kind. Erin is nice. Erin is not quiet. Erin is red. Harry is cold. Harry is not furry. Harry is not kind. Harry is nice. Harry is quiet. Harry is red. Harry is smart. If someone is kind and not quiet then they are smart. If someone is quiet and not cold then they are nice. If someone is furry then they are nice.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Erin is red.
("Erin" "is" "red" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is not furry.
("Harry" "is" "furry" "-")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If someone is kind and not quiet then they are smart.
((("someone" "is" "kind" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "smart" "+"))
If someone is quiet and not cold then they are nice.
((("someone" "is" "quiet" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "nice" "+"))
If someone is furry then they are nice.
((("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
Harry is not kind.
True
1
proof
[(triple8)]
("Harry" "is" "kind" "-")
triple8
Harry is furry.
False
1
inv-proof
[(triple7)]
("Harry" "is" "furry" "+")
triple7
Erin is smart.
True
3
proof
[(((triple2 triple4) -> rule1))]
("Erin" "is" "smart" "+")
((triple2 triple4) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is not smart.
False
3
inv-proof
[(((triple2 triple4) -> rule1))]
("Erin" "is" "smart" "-")
((triple2 triple4) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
@0: Erin is cold.[(triple1)] Erin is kind.[(triple2)] Erin is nice.[(triple3)] Erin is not quiet.[(triple4)] Erin is red.[(triple5)] Harry is cold.[(triple6)] Harry is nice.[(triple9)] Harry is not furry.[(triple7)] Harry is not kind.[(triple8)] Harry is quiet.[(triple10)] Harry is red.[(triple11)] Harry is smart.[(triple12)] @1: Erin is smart.[(((triple2 triple4) -> rule1))]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Erin is nice.
("Erin" "is" "nice" "+")
triple3
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple4
Erin is red.
("Erin" "is" "red" "+")
triple5
Harry is cold.
("Harry" "is" "cold" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is not furry.
("Harry" "is" "furry" "-")
triple7
Harry is not kind.
("Harry" "is" "kind" "-")
triple8
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple11
Harry is smart.
("Harry" "is" "smart" "+")
triple12
Erin is smart.
("Erin" "is" "smart" "+")
((triple2 triple4) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1