Anne is big. Anne is furry. Anne is kind. Anne is round. Anne is smart. Fiona is big. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is round. Fiona is smart. If Anne is smart and Anne is kind then Anne is rough. Big, rough people are nice.
Anne is big.
("Anne" "is" "big" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If Anne is smart and Anne is kind then Anne is rough.
((("Anne" "is" "smart" "+") ("Anne" "is" "kind" "+")) -> ("Anne" "is" "rough" "+"))
Big, rough people are nice.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Anne is big.
True
1
proof
[(triple1)]
("Anne" "is" "big" "+")
triple1
Fiona is not kind.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "kind" "-")
triple8
Anne is rough.
True
3
proof
[(((triple5 triple3) -> rule1))]
("Anne" "is" "rough" "+")
((triple5 triple3) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is not rough.
False
3
inv-proof
[(((triple5 triple3) -> rule1))]
("Anne" "is" "rough" "-")
((triple5 triple3) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is nice.
True
5
proof
[(((triple1 ((triple5 triple3) -> rule1)) -> rule2))]
("Anne" "is" "nice" "+")
((triple1 ((triple5 triple3) -> (rule1 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is not nice.
False
5
inv-proof
[(((triple1 ((triple5 triple3) -> rule1)) -> rule2))]
("Anne" "is" "nice" "-")
((triple1 ((triple5 triple3) -> (rule1 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5)] Fiona is big.[(triple6)] Fiona is furry.[(triple7)] Fiona is kind.[(triple8)] Fiona is nice.[(triple9 OR ((triple6 triple10) -> rule2))] Fiona is rough.[(triple10)] Fiona is round.[(triple11)] Fiona is smart.[(triple12)] @1: Anne is rough.[(((triple5 triple3) -> rule1))] @2: Anne is nice.[(((triple1 ((triple5 triple3) -> rule1)) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
((triple6 triple10) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12
Anne is rough.
("Anne" "is" "rough" "+")
((triple5 triple3) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
((triple1 ((triple5 triple3) -> (rule1 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2