Fiona is furry. Fiona is kind. Fiona is red. Fiona is round. Fiona is smart. Harry is blue. Harry is furry. Harry is kind. Harry is red. Harry is round. Harry is smart. Harry is white. All smart, round people are white.
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
All smart, round people are white.
((("someone" "is" "smart" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
Harry is smart.
True
1
proof
[(triple11)]
("Harry" "is" "smart" "+")
triple11
Fiona is not round.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "round" "-")
triple4
@0: Fiona is furry.[(triple1)] Fiona is kind.[(triple2)] Fiona is red.[(triple3)] Fiona is round.[(triple4)] Fiona is smart.[(triple5)] Harry is blue.[(triple6)] Harry is furry.[(triple7)] Harry is kind.[(triple8)] Harry is red.[(triple9)] Harry is round.[(triple10)] Harry is smart.[(triple11)] Harry is white.[(triple12 OR ((triple11 triple10) -> rule1))] @1: Fiona is white.[(((triple5 triple4) -> rule1))]
Fiona is furry.
("Fiona" "is" "furry" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Fiona is red.
("Fiona" "is" "red" "+")
triple3
Fiona is round.
("Fiona" "is" "round" "+")
triple4
Fiona is smart.
("Fiona" "is" "smart" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple6
Harry is furry.
("Harry" "is" "furry" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple10
Harry is smart.
("Harry" "is" "smart" "+")
triple11
Harry is white.
("Harry" "is" "white" "+")
triple12
((triple11 triple10) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple5 triple4) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1