Erin is big. Erin is blue. Erin is kind. Erin is nice. Erin is red. Erin is round. Erin is young. Fiona is big. Fiona is kind. Fiona is red. Harry is big. Harry is blue. Harry is kind. Harry is nice. Harry is red. Harry is round. Nice things are round. If something is kind then it is young. Young, red things are nice.
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Nice things are round.
((("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
If something is kind then it is young.
((("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
Young, red things are nice.
((("something" "is" "young" "+") ("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
Fiona is big.
True
1
proof
[(triple8)]
("Fiona" "is" "big" "+")
triple8
Fiona is not kind.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "kind" "-")
triple9
Harry is young.
True
2
proof
[(((triple13) -> rule2))]
("Harry" "is" "young" "+")
((triple13) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is not young.
False
2
inv-proof
[(((triple13) -> rule2))]
("Harry" "is" "young" "-")
((triple13) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Fiona is nice.
True
4
proof
[(((((triple9) -> rule2) triple10) -> rule3))]
("Fiona" "is" "nice" "+")
((((triple9) -> (rule2 % int2)) triple10) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is not nice.
False
4
inv-proof
[(((((triple9) -> rule2) triple10) -> rule3))]
("Fiona" "is" "nice" "-")
((((triple9) -> (rule2 % int2)) triple10) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is round.
True
5
proof
[(((((((triple9) -> rule2) triple10) -> rule3)) -> rule1))]
("Fiona" "is" "round" "+")
((((((triple9) -> (rule2 % int3)) triple10) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is not round.
False
5
inv-proof
[(((((((triple9) -> rule2) triple10) -> rule3)) -> rule1))]
("Fiona" "is" "round" "-")
((((((triple9) -> (rule2 % int3)) triple10) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is kind.[(triple3)] Erin is nice.[(triple4 OR ((triple7 triple5) -> rule3) OR ((((triple3) -> rule2) triple5) -> rule3))] Erin is red.[(triple5)] Erin is round.[(triple6 OR ((triple4) -> rule1) OR ((((triple7 triple5) -> rule3)) -> rule1) OR ((((((triple3) -> rule2) triple5) -> rule3)) -> rule1))] Erin is young.[(triple7 OR ((triple3) -> rule2))] Fiona is big.[(triple8)] Fiona is kind.[(triple9)] Fiona is red.[(triple10)] Harry is big.[(triple11)] Harry is blue.[(triple12)] Harry is kind.[(triple13)] Harry is nice.[(triple14 OR ((((triple13) -> rule2) triple15) -> rule3))] Harry is red.[(triple15)] Harry is round.[(triple16 OR ((triple14) -> rule1) OR ((((((triple13) -> rule2) triple15) -> rule3)) -> rule1))] @1: Fiona is young.[(((triple9) -> rule2))] Harry is young.[(((triple13) -> rule2))] @2: Fiona is nice.[(((((triple9) -> rule2) triple10) -> rule3))] @3: Fiona is round.[(((((((triple9) -> rule2) triple10) -> rule3)) -> rule1))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is blue.
("Erin" "is" "blue" "+")
triple2
Erin is kind.
("Erin" "is" "kind" "+")
triple3
Erin is nice.
("Erin" "is" "nice" "+")
triple4
((triple7 triple5) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((triple3) -> (rule2 % int2)) triple5) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
triple5
Erin is round.
("Erin" "is" "round" "+")
triple6
((triple4) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((triple7 triple5) -> (rule3 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((((triple3) -> (rule2 % int3)) triple5) -> (rule3 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
triple7
((triple3) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is kind.
("Fiona" "is" "kind" "+")
triple9
Fiona is red.
("Fiona" "is" "red" "+")
triple10
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple13
Harry is nice.
("Harry" "is" "nice" "+")
triple14
((((triple13) -> (rule2 % int2)) triple15) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
triple15
Harry is round.
("Harry" "is" "round" "+")
triple16
((triple14) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((((triple13) -> (rule2 % int3)) triple15) -> (rule3 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
((triple9) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple13) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple9) -> (rule2 % int2)) triple10) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
((((((triple9) -> (rule2 % int3)) triple10) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3