Harry is big. Harry is green. Harry is round. Quiet people are kind. All green people are big. If Harry is young and Harry is round then Harry is kind. If someone is green then they are nice. Nice, big people are kind. If someone is young then they are nice. Quiet people are kind. All green, kind people are nice.
Harry is big.
("Harry" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
Quiet people are kind.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
All green people are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If Harry is young and Harry is round then Harry is kind.
((("Harry" "is" "young" "+") ("Harry" "is" "round" "+")) -> ("Harry" "is" "kind" "+"))
If someone is green then they are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Nice, big people are kind.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is young then they are nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
Quiet people are kind.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
All green, kind people are nice.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
Harry is round.
True
1
proof
[(triple3)]
("Harry" "is" "round" "+")
triple3
Harry is not round.
False
1
inv-proof
[(triple3)]
("Harry" "is" "round" "-")
triple3
Harry is nice.
True
2
proof
[(((triple2) -> rule4))]
("Harry" "is" "nice" "+")
((triple2) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not nice.
False
2
inv-proof
[(((triple2) -> rule4))]
("Harry" "is" "nice" "-")
((triple2) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
True
4
proof
[(((((triple2) -> rule4) triple1) -> rule5) OR ((((triple2) -> rule4) ((triple2) -> rule2)) -> rule5))]
("Harry" "is" "kind" "+")
((((triple2) -> (rule4 % int2)) triple1) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((triple2) -> (rule4 % int3)) ((triple2) -> (rule2 % int2))) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is not kind.
False
4
inv-proof
[(((((triple2) -> rule4) triple1) -> rule5) OR ((((triple2) -> rule4) ((triple2) -> rule2)) -> rule5))]
("Harry" "is" "kind" "-")
((((triple2) -> (rule4 % int2)) triple1) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((triple2) -> (rule4 % int3)) ((triple2) -> (rule2 % int2))) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Harry is quiet.
Unknown
random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "+")
@0: Harry is big.[(triple1 OR ((triple2) -> rule2))] Harry is green.[(triple2)] Harry is round.[(triple3)] @1: Harry is nice.[(((triple2) -> rule4))] @2: Harry is kind.[(((((triple2) -> rule4) triple1) -> rule5) OR ((((triple2) -> rule4) ((triple2) -> rule2)) -> rule5))]
Harry is big.
("Harry" "is" "big" "+")
triple1
((triple2) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple2
Harry is round.
("Harry" "is" "round" "+")
triple3
Harry is nice.
("Harry" "is" "nice" "+")
((triple2) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((((triple2) -> (rule4 % int2)) triple1) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((triple2) -> (rule4 % int3)) ((triple2) -> (rule2 % int2))) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3