Fiona is cold. Fiona is furry. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is round. Fiona is white. Gary is cold. Gary is furry. Gary is green. Gary is kind. Gary is quiet. Gary is round. Gary is white. If Gary is kind then Gary is quiet. All round people are green. All furry, kind people are quiet. All white people are quiet. If someone is round and kind then they are quiet. Green, furry people are cold. Round people are quiet. If Gary is quiet and Gary is cold then Gary is green.
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
If Gary is kind then Gary is quiet.
((("Gary" "is" "kind" "+")) -> ("Gary" "is" "quiet" "+"))
All round people are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
All furry, kind people are quiet.
((("someone" "is" "furry" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "quiet" "+"))
All white people are quiet.
((("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
If someone is round and kind then they are quiet.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "quiet" "+"))
Green, furry people are cold.
((("someone" "is" "green" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
Round people are quiet.
((("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
If Gary is quiet and Gary is cold then Gary is green.
((("Gary" "is" "quiet" "+") ("Gary" "is" "cold" "+")) -> ("Gary" "is" "green" "+"))
Gary is kind.
True
1
proof
[(triple11)]
("Gary" "is" "kind" "+")
triple11
Gary is not cold.
False
1
inv-proof
[(triple8 OR ((triple10 triple9) -> rule6) OR ((((triple13) -> rule2) triple9) -> rule6))]
("Gary" "is" "cold" "-")
triple8
((triple10 triple9) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((((triple13) -> (rule2 % int2)) triple9) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
@0: Fiona is cold.[(triple1 OR ((triple3 triple2) -> rule6) OR ((((triple6) -> rule2) triple2) -> rule6))] Fiona is furry.[(triple2)] Fiona is green.[(triple3 OR ((triple6) -> rule2))] Fiona is kind.[(triple4)] Fiona is quiet.[(triple5 OR ((triple6) -> rule7) OR ((triple7) -> rule4) OR ((triple2 triple4) -> rule3) OR ((triple6 triple4) -> rule5))] Fiona is round.[(triple6)] Fiona is white.[(triple7)] Gary is cold.[(triple8 OR ((triple10 triple9) -> rule6) OR ((((triple13) -> rule2) triple9) -> rule6))] Gary is furry.[(triple9)] Gary is green.[(triple10 OR ((triple13) -> rule2) OR ((triple12 triple8) -> rule8) OR ((((triple11) -> rule1) triple8) -> rule8) OR ((((triple13) -> rule7) triple8) -> rule8) OR ((((triple14) -> rule4) triple8) -> rule8) OR ((((triple13 triple11) -> rule5) triple8) -> rule8) OR ((((triple9 triple11) -> rule3) triple8) -> rule8))] Gary is kind.[(triple11)] Gary is quiet.[(triple12 OR ((triple11) -> rule1) OR ((triple13) -> rule7) OR ((triple14) -> rule4) OR ((triple13 triple11) -> rule5) OR ((triple9 triple11) -> rule3))] Gary is round.[(triple13)] Gary is white.[(triple14)]
Fiona is cold.
("Fiona" "is" "cold" "+")
triple1
((triple3 triple2) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((((triple6) -> (rule2 % int2)) triple2) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
((triple6) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
((triple6) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((triple7) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((triple2 triple4) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((triple6 triple4) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple8
((triple10 triple9) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((((triple13) -> (rule2 % int2)) triple9) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple10
((triple13) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple12 triple8) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((triple11) -> (rule1 % int2)) triple8) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple13) -> (rule7 % int2)) triple8) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple14) -> (rule4 % int2)) triple8) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple13 triple11) -> (rule5 % int2)) triple8) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple9 triple11) -> (rule3 % int2)) triple8) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Gary is quiet.
("Gary" "is" "quiet" "+")
triple12
((triple11) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple13) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple14) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple13 triple11) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple9 triple11) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple13
Gary is white.
("Gary" "is" "white" "+")
triple14