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