Fiona is furry. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is smart. Fiona is white. Harry is kind. Harry is nice. Harry is red. Harry is smart. Harry is white. All red, white things are furry. All furry things are quiet.
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
All red, white things are furry.
((("something" "is" "red" "+") ("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
All furry things are quiet.
((("something" "is" "furry" "+")) -> ("something" "is" "quiet" "+"))
Fiona is nice.
True
1
proof
[(triple3)]
("Fiona" "is" "nice" "+")
triple3
Fiona is not red.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "red" "-")
triple5
Harry is furry.
True
3
proof
[(((triple10 triple12) -> rule1))]
("Harry" "is" "furry" "+")
((triple10 triple12) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is not furry.
False
3
inv-proof
[(((triple10 triple12) -> rule1))]
("Harry" "is" "furry" "-")
((triple10 triple12) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is quiet.
True
4
proof
[(((((triple10 triple12) -> rule1)) -> rule2))]
("Harry" "is" "quiet" "+")
((((triple10 triple12) -> (rule1 % int2))) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is not quiet.
False
4
inv-proof
[(((((triple10 triple12) -> rule1)) -> rule2))]
("Harry" "is" "quiet" "-")
((((triple10 triple12) -> (rule1 % int2))) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
@0: Fiona is furry.[(triple1 OR ((triple5 triple7) -> rule1))] Fiona is kind.[(triple2)] Fiona is nice.[(triple3)] Fiona is quiet.[(triple4 OR ((triple1) -> rule2) OR ((((triple5 triple7) -> rule1)) -> rule2))] Fiona is red.[(triple5)] Fiona is smart.[(triple6)] Fiona is white.[(triple7)] Harry is kind.[(triple8)] Harry is nice.[(triple9)] Harry is red.[(triple10)] Harry is smart.[(triple11)] Harry is white.[(triple12)] @1: Harry is furry.[(((triple10 triple12) -> rule1))] @2: Harry is quiet.[(((((triple10 triple12) -> rule1)) -> rule2))]
Fiona is furry.
("Fiona" "is" "furry" "+")
triple1
((triple5 triple7) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
((triple1) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((((triple5 triple7) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is smart.
("Harry" "is" "smart" "+")
triple11
Harry is white.
("Harry" "is" "white" "+")
triple12
Harry is furry.
("Harry" "is" "furry" "+")
((triple10 triple12) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
((((triple10 triple12) -> (rule1 % int2))) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2