Anne is big. Anne is green. Anne is kind. Anne is nice. Anne is round. Anne is smart. Anne is young. Fiona is big. Fiona is green. Fiona is not kind. Fiona is nice. Fiona is round. Fiona is smart. Fiona is young. Green things are nice.
Anne is big.
("Anne" "is" "big" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Green things are nice.
((("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
Fiona is big.
True
1
proof
[(triple8)]
("Fiona" "is" "big" "+")
triple8
Fiona is kind.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "kind" "+")
triple10
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4 OR ((triple2) -> rule1))] Anne is round.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7)] Fiona is big.[(triple8)] Fiona is green.[(triple9)] Fiona is nice.[(triple11 OR ((triple9) -> rule1))] Fiona is not kind.[(triple10)] Fiona is round.[(triple12)] Fiona is smart.[(triple13)] Fiona is young.[(triple14)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is nice.
("Anne" "is" "nice" "+")
triple4
((triple2) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
triple5
Anne is smart.
("Anne" "is" "smart" "+")
triple6
Anne is young.
("Anne" "is" "young" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is green.
("Fiona" "is" "green" "+")
triple9
Fiona is nice.
("Fiona" "is" "nice" "+")
triple11
((triple9) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple12
Fiona is smart.
("Fiona" "is" "smart" "+")
triple13
Fiona is young.
("Fiona" "is" "young" "+")
triple14