Fiona is big. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is smart. Gary is big. Gary is blue. Gary is kind. Gary is nice. Gary is smart. Nice, big things are quiet. If something is big then it is smart. If something is big then it is red. All blue, big things are smart. If Fiona is kind then Fiona is quiet. All kind, blue things are quiet.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
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" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Nice, big things are quiet.
((("something" "is" "nice" "+") ("something" "is" "big" "+")) -> ("something" "is" "quiet" "+"))
If something is big then it is smart.
((("something" "is" "big" "+")) -> ("something" "is" "smart" "+"))
If something is big then it is red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
All blue, big things are smart.
((("something" "is" "blue" "+") ("something" "is" "big" "+")) -> ("something" "is" "smart" "+"))
If Fiona is kind then Fiona is quiet.
((("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "quiet" "+"))
All kind, blue things are quiet.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
Fiona is nice.
True
1
proof
[(triple4)]
("Fiona" "is" "nice" "+")
triple4
Gary is not blue.
False
1
inv-proof
[(triple9)]
("Gary" "is" "blue" "-")
triple9
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is kind.[(triple3)] Fiona is nice.[(triple4)] Fiona is quiet.[(triple5 OR ((triple3) -> rule5) OR ((triple3 triple2) -> rule6) OR ((triple4 triple1) -> rule1))] Fiona is red.[(triple6 OR ((triple1) -> rule3))] Fiona is smart.[(triple7 OR ((triple1) -> rule2) OR ((triple2 triple1) -> rule4))] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is kind.[(triple10)] Gary is nice.[(triple11)] Gary is smart.[(triple12 OR ((triple8) -> rule2) OR ((triple9 triple8) -> rule4))] @1: Gary is quiet.[(((triple10 triple9) -> rule6) OR ((triple11 triple8) -> rule1))] Gary is red.[(((triple8) -> rule3))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
Fiona is nice.
("Fiona" "is" "nice" "+")
triple4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
((triple3) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((triple3 triple2) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((triple4 triple1) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple6
((triple1) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
((triple1) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple2 triple1) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is smart.
("Gary" "is" "smart" "+")
triple12
((triple8) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((triple9 triple8) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple10 triple9) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple11 triple8) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple8) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1