Fiona is big. Fiona is smart. Fiona is young. If something is green and young then it is nice. Big things are kind. Big, kind things are green.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If something is green and young then it is nice.
((("something" "is" "green" "+") ("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
Big things are kind.
((("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
Big, kind things are green.
((("something" "is" "big" "+") ("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
Fiona is young.
True
1
proof
[(triple3)]
("Fiona" "is" "young" "+")
triple3
Fiona is not young.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "young" "-")
triple3
Fiona is kind.
True
2
proof
[(((triple1) -> rule2))]
("Fiona" "is" "kind" "+")
((triple1) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not kind.
False
2
inv-proof
[(((triple1) -> rule2))]
("Fiona" "is" "kind" "-")
((triple1) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is green.
True
4
proof
[(((triple1 ((triple1) -> rule2)) -> rule3))]
("Fiona" "is" "green" "+")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is not green.
False
4
inv-proof
[(((triple1 ((triple1) -> rule2)) -> rule3))]
("Fiona" "is" "green" "-")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is nice.
True
6
proof
[(((((triple1 ((triple1) -> rule2)) -> rule3) triple3) -> rule1))]
("Fiona" "is" "nice" "+")
((((triple1 ((triple1) -> (rule2 % int3))) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is not nice.
False
6
inv-proof
[(((((triple1 ((triple1) -> rule2)) -> rule3) triple3) -> rule1))]
("Fiona" "is" "nice" "-")
((((triple1 ((triple1) -> (rule2 % int3))) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
@0: Fiona is big.[(triple1)] Fiona is smart.[(triple2)] Fiona is young.[(triple3)] @1: Fiona is kind.[(((triple1) -> rule2))] @2: Fiona is green.[(((triple1 ((triple1) -> rule2)) -> rule3))] @3: Fiona is nice.[(((((triple1 ((triple1) -> rule2)) -> rule3) triple3) -> rule1))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple2
Fiona is young.
("Fiona" "is" "young" "+")
triple3
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple1) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple1 ((triple1) -> (rule2 % int3))) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3