Erin is cold. Erin is furry. Erin is nice. Erin is rough. Erin is young. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is smart. Fiona is young. If something is furry then it is kind.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
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 smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If something is furry then it is kind.
((("something" "is" "furry" "+")) -> ("something" "is" "kind" "+"))
Fiona is furry.
True
1
proof
[(triple7)]
("Fiona" "is" "furry" "+")
triple7
Fiona is not kind.
False
1
inv-proof
[(triple8 OR ((triple7) -> rule1))]
("Fiona" "is" "kind" "-")
triple8
((triple7) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Erin is kind.
True
2
proof
[(((triple2) -> rule1))]
("Erin" "is" "kind" "+")
((triple2) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is not kind.
False
2
inv-proof
[(((triple2) -> rule1))]
("Erin" "is" "kind" "-")
((triple2) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2)] Erin is nice.[(triple3)] Erin is rough.[(triple4)] Erin is young.[(triple5)] Fiona is cold.[(triple6)] Fiona is furry.[(triple7)] Fiona is kind.[(triple8 OR ((triple7) -> rule1))] Fiona is nice.[(triple9)] Fiona is rough.[(triple10)] Fiona is smart.[(triple11)] Fiona is young.[(triple12)] @1: Erin is kind.[(((triple2) -> rule1))]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is nice.
("Erin" "is" "nice" "+")
triple3
Erin is rough.
("Erin" "is" "rough" "+")
triple4
Erin is young.
("Erin" "is" "young" "+")
triple5
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
((triple7) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
Fiona is smart.
("Fiona" "is" "smart" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Erin is kind.
("Erin" "is" "kind" "+")
((triple2) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1