Fiona is big. Fiona is not green. Fiona is smart. Gary is not big. Gary is not blue. Gary is not furry. Gary is green. Gary is not nice. Gary is not red. Gary is not smart. If Fiona is not big and Fiona is not green then Fiona is not blue. If something is nice and not green then it is not red. If something is furry and smart then it is nice. If something is nice and not blue then it is smart. If something is green and nice then it is smart. All smart things are furry.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is not big.
("Gary" "is" "big" "-")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is green.
("Gary" "is" "green" "+")
Gary is not nice.
("Gary" "is" "nice" "-")
Gary is not red.
("Gary" "is" "red" "-")
Gary is not smart.
("Gary" "is" "smart" "-")
If Fiona is not big and Fiona is not green then Fiona is not blue.
((("Fiona" "is" "big" "~") ("Fiona" "is" "green" "~")) -> ("Fiona" "is" "blue" "-"))
If something is nice and not green then it is not red.
((("something" "is" "nice" "+") ("something" "is" "green" "~")) -> ("something" "is" "red" "-"))
If something is furry and smart then it is nice.
((("something" "is" "furry" "+") ("something" "is" "smart" "+")) -> ("something" "is" "nice" "+"))
If something is nice and not blue then it is smart.
((("something" "is" "nice" "+") ("something" "is" "blue" "~")) -> ("something" "is" "smart" "+"))
If something is green and nice then it is smart.
((("something" "is" "green" "+") ("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
All smart things are furry.
((("something" "is" "smart" "+")) -> ("something" "is" "furry" "+"))
Gary is not red.
True
1
proof
[(triple9)]
("Gary" "is" "red" "-")
triple9
Fiona is green.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "green" "+")
triple2
Fiona is furry.
True
2
proof
[(((triple3) -> rule6))]
("Fiona" "is" "furry" "+")
((triple3) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple3) -> rule6))]
("Fiona" "is" "furry" "-")
((triple3) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
True
4
proof
[(((((triple3) -> rule6) triple3) -> rule3))]
("Fiona" "is" "nice" "+")
((((triple3) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not nice.
False
4
inv-proof
[(((((triple3) -> rule6) triple3) -> rule3))]
("Fiona" "is" "nice" "-")
((((triple3) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not red.
True
6
proof
[(((((((triple3) -> rule6) triple3) -> rule3) triple2) -> rule2))]
("Fiona" "is" "red" "-")
((((((triple3) -> (rule6 % int3)) triple3) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Fiona is not red.
("Fiona" "is" "red" "-")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is red.
False
6
inv-proof
[(((((((triple3) -> rule6) triple3) -> rule3) triple2) -> rule2))]
("Fiona" "is" "red" "+")
((((((triple3) -> (rule6 % int3)) triple3) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Fiona is not red.
("Fiona" "is" "red" "-")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
@0: Fiona is big.[(triple1)] Fiona is not green.[(triple2)] Fiona is smart.[(triple3)] Gary is green.[(triple7)] Gary is not big.[(triple4)] Gary is not blue.[(triple5)] Gary is not furry.[(triple6)] Gary is not nice.[(triple8)] Gary is not red.[(triple9)] Gary is not smart.[(triple10)] @1: Fiona is furry.[(((triple3) -> rule6))] @2: Fiona is nice.[(((((triple3) -> rule6) triple3) -> rule3))] @3: Fiona is not red.[(((((((triple3) -> rule6) triple3) -> rule3) triple2) -> rule2))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is not green.
("Fiona" "is" "green" "-")
triple2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple3
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is not big.
("Gary" "is" "big" "-")
triple4
Gary is not blue.
("Gary" "is" "blue" "-")
triple5
Gary is not furry.
("Gary" "is" "furry" "-")
triple6
Gary is not nice.
("Gary" "is" "nice" "-")
triple8
Gary is not red.
("Gary" "is" "red" "-")
triple9
Gary is not smart.
("Gary" "is" "smart" "-")
triple10
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple3) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple3) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not red.
("Fiona" "is" "red" "-")
((((((triple3) -> (rule6 % int3)) triple3) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Fiona is not red.
("Fiona" "is" "red" "-")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3