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