Fiona is big. Fiona is blue. Fiona is green. Fiona is round. Harry is big. Harry is blue. Harry is green. Harry is nice. Harry is round. Harry is white. If something is green and blue then it is furry. Furry, blue things are white.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
If something is green and blue then it is furry.
((("something" "is" "green" "+") ("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
Furry, blue things are white.
((("something" "is" "furry" "+") ("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
Fiona is blue.
True
1
proof
[(triple2)]
("Fiona" "is" "blue" "+")
triple2
Fiona is not round.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "round" "-")
triple4
Harry is furry.
True
3
proof
[(((triple7 triple6) -> rule1))]
("Harry" "is" "furry" "+")
((triple7 triple6) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is not furry.
False
3
inv-proof
[(((triple7 triple6) -> rule1))]
("Harry" "is" "furry" "-")
((triple7 triple6) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Fiona is white.
True
5
proof
[(((((triple3 triple2) -> rule1) triple2) -> rule2))]
("Fiona" "is" "white" "+")
((((triple3 triple2) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not white.
False
5
inv-proof
[(((((triple3 triple2) -> rule1) triple2) -> rule2))]
("Fiona" "is" "white" "-")
((((triple3 triple2) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is green.[(triple3)] Fiona is round.[(triple4)] Harry is big.[(triple5)] Harry is blue.[(triple6)] Harry is green.[(triple7)] Harry is nice.[(triple8)] Harry is round.[(triple9)] Harry is white.[(triple10 OR ((((triple7 triple6) -> rule1) triple6) -> rule2))] @1: Fiona is furry.[(((triple3 triple2) -> rule1))] Harry is furry.[(((triple7 triple6) -> rule1))] @2: Fiona is white.[(((((triple3 triple2) -> rule1) triple2) -> rule2))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Fiona is round.
("Fiona" "is" "round" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple9
Harry is white.
("Harry" "is" "white" "+")
triple10
((((triple7 triple6) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple3 triple2) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((triple7 triple6) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((((triple3 triple2) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2