Fiona is furry. Fiona is green. Fiona is kind. Fiona is nice. Fiona is red. Fiona is rough. Harry is big. Harry is furry. Harry is nice. Harry is red. If someone is furry and green then they are nice. All green, red people are kind. If Harry is nice and Harry is kind then Harry is rough. If Harry is nice and Harry is furry then Harry is big. If someone is nice then they are green. If Fiona is kind and Fiona is big then Fiona is red.
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is furry and green then they are nice.
((("someone" "is" "furry" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
All green, red people are kind.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If Harry is nice and Harry is kind then Harry is rough.
((("Harry" "is" "nice" "+") ("Harry" "is" "kind" "+")) -> ("Harry" "is" "rough" "+"))
If Harry is nice and Harry is furry then Harry is big.
((("Harry" "is" "nice" "+") ("Harry" "is" "furry" "+")) -> ("Harry" "is" "big" "+"))
If someone is nice then they are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If Fiona is kind and Fiona is big then Fiona is red.
((("Fiona" "is" "kind" "+") ("Fiona" "is" "big" "+")) -> ("Fiona" "is" "red" "+"))
Fiona is rough.
True
1
proof
[(triple6)]
("Fiona" "is" "rough" "+")
triple6
Fiona is not green.
False
1
inv-proof
[(triple2 OR ((triple4) -> rule5))]
("Fiona" "is" "green" "-")
triple2
((triple4) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Harry is green.
True
2
proof
[(((triple9) -> rule5))]
("Harry" "is" "green" "+")
((triple9) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not green.
False
2
inv-proof
[(((triple9) -> rule5))]
("Harry" "is" "green" "-")
((triple9) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
True
4
proof
[(((((triple9) -> rule5) triple10) -> rule2))]
("Harry" "is" "kind" "+")
((((triple9) -> (rule5 % int2)) triple10) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is not kind.
False
4
inv-proof
[(((((triple9) -> rule5) triple10) -> rule2))]
("Harry" "is" "kind" "-")
((((triple9) -> (rule5 % int2)) triple10) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
True
6
proof
[(((triple9 ((((triple9) -> rule5) triple10) -> rule2)) -> rule3))]
("Harry" "is" "rough" "+")
((triple9 ((((triple9) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is not rough.
False
6
inv-proof
[(((triple9 ((((triple9) -> rule5) triple10) -> rule2)) -> rule3))]
("Harry" "is" "rough" "-")
((triple9 ((((triple9) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
@0: Fiona is furry.[(triple1)] Fiona is green.[(triple2 OR ((triple4) -> rule5))] Fiona is kind.[(triple3 OR ((triple2 triple5) -> rule2) OR ((((triple4) -> rule5) triple5) -> rule2))] Fiona is nice.[(triple4 OR ((triple1 triple2) -> rule1))] Fiona is red.[(triple5)] Fiona is rough.[(triple6)] Harry is big.[(triple7 OR ((triple9 triple8) -> rule4))] Harry is furry.[(triple8)] Harry is nice.[(triple9)] Harry is red.[(triple10)] @1: Harry is green.[(((triple9) -> rule5))] @2: Harry is kind.[(((((triple9) -> rule5) triple10) -> rule2))] @3: Harry is rough.[(((triple9 ((((triple9) -> rule5) triple10) -> rule2)) -> rule3))]
Fiona is furry.
("Fiona" "is" "furry" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
triple2
((triple4) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
((triple2 triple5) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple4) -> (rule5 % int2)) triple5) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple4
((triple1 triple2) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple7
((triple9 triple8) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
((triple9) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((((triple9) -> (rule5 % int2)) triple10) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
((triple9 ((((triple9) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3