Anne is cold. Anne is green. Anne is kind. Anne is round. Anne is smart. Erin is cold. Erin is furry. Erin is not green. Erin is kind. Erin is rough. Erin is round. Erin is not smart. All furry people are rough. If Anne is kind and Anne is cold then Anne is furry. If someone is kind and not round then they are furry.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is not green.
("Erin" "is" "green" "-")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is not smart.
("Erin" "is" "smart" "-")
All furry people are rough.
((("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "+"))
If Anne is kind and Anne is cold then Anne is furry.
((("Anne" "is" "kind" "+") ("Anne" "is" "cold" "+")) -> ("Anne" "is" "furry" "+"))
If someone is kind and not round then they are furry.
((("someone" "is" "kind" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "furry" "+"))
Erin is not smart.
True
1
proof
[(triple12)]
("Erin" "is" "smart" "-")
triple12
Erin is not kind.
False
1
inv-proof
[(triple9)]
("Erin" "is" "kind" "-")
triple9
Anne is furry.
True
3
proof
[(((triple3 triple1) -> rule2))]
("Anne" "is" "furry" "+")
((triple3 triple1) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not furry.
False
3
inv-proof
[(((triple3 triple1) -> rule2))]
("Anne" "is" "furry" "-")
((triple3 triple1) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is rough.
True
4
proof
[(((((triple3 triple1) -> rule2)) -> rule1))]
("Anne" "is" "rough" "+")
((((triple3 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is not rough.
False
4
inv-proof
[(((((triple3 triple1) -> rule2)) -> rule1))]
("Anne" "is" "rough" "-")
((((triple3 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5)] Erin is cold.[(triple6)] Erin is furry.[(triple7)] Erin is kind.[(triple9)] Erin is not green.[(triple8)] Erin is not smart.[(triple12)] Erin is rough.[(triple10 OR ((triple7) -> rule1))] Erin is round.[(triple11)] @1: Anne is furry.[(((triple3 triple1) -> rule2))] @2: Anne is rough.[(((((triple3 triple1) -> rule2)) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Erin is cold.
("Erin" "is" "cold" "+")
triple6
Erin is furry.
("Erin" "is" "furry" "+")
triple7
Erin is kind.
("Erin" "is" "kind" "+")
triple9
Erin is not green.
("Erin" "is" "green" "-")
triple8
Erin is not smart.
("Erin" "is" "smart" "-")
triple12
Erin is rough.
("Erin" "is" "rough" "+")
triple10
((triple7) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
triple11
Anne is furry.
("Anne" "is" "furry" "+")
((triple3 triple1) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
((((triple3 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2