Fiona is blue. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is round. Fiona is smart. Gary is blue. Gary is furry. Gary is kind. Gary is quiet. Gary is red. Gary is round. Gary is smart. Smart, blue things are quiet. If Gary is blue and Gary is round then Gary is furry.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Smart, blue things are quiet.
((("something" "is" "smart" "+") ("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
If Gary is blue and Gary is round then Gary is furry.
((("Gary" "is" "blue" "+") ("Gary" "is" "round" "+")) -> ("Gary" "is" "furry" "+"))
Gary is red.
True
1
proof
[(triple12)]
("Gary" "is" "red" "+")
triple12
Gary is not red.
False
1
inv-proof
[(triple12)]
("Gary" "is" "red" "-")
triple12
@0: Fiona is blue.[(triple1)] Fiona is furry.[(triple2)] Fiona is kind.[(triple3)] Fiona is quiet.[(triple4 OR ((triple7 triple1) -> rule1))] Fiona is red.[(triple5)] Fiona is round.[(triple6)] Fiona is smart.[(triple7)] Gary is blue.[(triple8)] Gary is furry.[(triple9 OR ((triple8 triple13) -> rule2))] Gary is kind.[(triple10)] Gary is quiet.[(triple11 OR ((triple14 triple8) -> rule1))] Gary is red.[(triple12)] Gary is round.[(triple13)] Gary is smart.[(triple14)]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
((triple7 triple1) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is furry.
("Gary" "is" "furry" "+")
triple9
((triple8 triple13) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is quiet.
("Gary" "is" "quiet" "+")
triple11
((triple14 triple8) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
triple12
Gary is round.
("Gary" "is" "round" "+")
triple13
Gary is smart.
("Gary" "is" "smart" "+")
triple14