Eric who is considered nice was feeling rather rough today. Fred is a man who is both round and rough. Gary is a nice, kind young man that is feeling rather blue -- he is also green. Harry is a very kind, green but sometimes cold person. A person that is nice and young is also going to be a person that is rough. When you know someone who is young and green you can count on them being nice to everyone. It's been proven that red, rough people are green as well. A round shaped and red person is definitely nice. Have you noticed that green and round folks are also so young. A round person will also be red.
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is nice and young then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and green then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and rough then they are green.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is round and red then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and round then they are young.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is round then they are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Gary is young.
True
1
proof
[(triple5)]
("Gary" "is" "young" "+")
triple5
Gary is not young.
False
1
inv-proof
[(triple5)]
("Gary" "is" "young" "-")
triple5
Gary is rough.
True
3
proof
[(((triple6 triple5) -> rule1) OR ((((triple5 triple8) -> rule2) triple5) -> rule1))]
("Gary" "is" "rough" "+")
((triple6 triple5) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((((triple5 triple8) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is not rough.
False
3
inv-proof
[(((triple6 triple5) -> rule1) OR ((((triple5 triple8) -> rule2) triple5) -> rule1))]
("Gary" "is" "rough" "-")
((triple6 triple5) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((((triple5 triple8) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Fred is nice.
True
4
proof
[(((triple3 ((triple3) -> rule6)) -> rule4) OR ((((((((triple3) -> rule6) triple4) -> rule3) triple3) -> rule5) ((((triple3) -> rule6) triple4) -> rule3)) -> rule2))]
("Fred" "is" "nice" "+")
((triple3 ((triple3) -> (rule6 % int2))) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
((((((((triple3) -> (rule6 % int4)) triple4) -> (rule3 % int3)) triple3) -> (rule5 % int2)) ((((triple3) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is not nice.
False
4
inv-proof
[(((triple3 ((triple3) -> rule6)) -> rule4) OR ((((((((triple3) -> rule6) triple4) -> rule3) triple3) -> rule5) ((((triple3) -> rule6) triple4) -> rule3)) -> rule2))]
("Fred" "is" "nice" "-")
((triple3 ((triple3) -> (rule6 % int2))) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
((((((((triple3) -> (rule6 % int4)) triple4) -> (rule3 % int3)) triple3) -> (rule5 % int2)) ((((triple3) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is young.
True
6
proof
[(((((((triple3) -> rule6) triple4) -> rule3) triple3) -> rule5))]
("Fred" "is" "young" "+")
((((((triple3) -> (rule6 % int3)) triple4) -> (rule3 % int2)) triple3) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is not young.
False
6
inv-proof
[(((((((triple3) -> rule6) triple4) -> rule3) triple3) -> rule5))]
("Fred" "is" "young" "-")
((((((triple3) -> (rule6 % int3)) triple4) -> (rule3 % int2)) triple3) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "red" "-")
Harry is rough.
Unknown
rconc
[@2: Harry is rough.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Harry" "is" "rough" "+")
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "red" "-")
Eric is young.
Unknown
rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "young" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Eric is nice.[(triple2)] Eric is rough.[(triple1)] Fred is rough.[(triple4)] Fred is round.[(triple3)] Gary is blue.[(triple9)] Gary is green.[(triple8)] Gary is kind.[(triple7)] Gary is nice.[(triple6 OR ((triple5 triple8) -> rule2))] Gary is young.[(triple5)] Harry is cold.[(triple12)] Harry is green.[(triple11)] Harry is kind.[(triple10)] @1: Fred is red.[(((triple3) -> rule6))] Gary is rough.[(((triple6 triple5) -> rule1) OR ((((triple5 triple8) -> rule2) triple5) -> rule1))] @2: Fred is green.[(((((triple3) -> rule6) triple4) -> rule3))] Fred is nice.[(((triple3 ((triple3) -> rule6)) -> rule4) OR ((((((((triple3) -> rule6) triple4) -> rule3) triple3) -> rule5) ((((triple3) -> rule6) triple4) -> rule3)) -> rule2))] @3: Fred is young.[(((((((triple3) -> rule6) triple4) -> rule3) triple3) -> rule5))]
Eric is nice.
("Eric" "is" "nice" "+")
triple2
Eric is rough.
("Eric" "is" "rough" "+")
triple1
Fred is rough.
("Fred" "is" "rough" "+")
triple4
Fred is round.
("Fred" "is" "round" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple6
((triple5 triple8) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple5
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Fred is red.
("Fred" "is" "red" "+")
((triple3) -> (rule6 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple6 triple5) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((((triple5 triple8) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
((((triple3) -> (rule6 % int2)) triple4) -> (rule3 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
((triple3 ((triple3) -> (rule6 % int2))) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
((((((((triple3) -> (rule6 % int4)) triple4) -> (rule3 % int3)) triple3) -> (rule5 % int2)) ((((triple3) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is young.
("Fred" "is" "young" "+")
((((((triple3) -> (rule6 % int3)) triple4) -> (rule3 % int2)) triple3) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Eric who is considered nice was feeling rather rough today.
Fred is a man who is both round and rough.
Gary is a nice, kind young man that is feeling rather blue -- he is also green.
Harry is a very kind, green but sometimes cold person.
A person that is nice and young is also going to be a person that is rough.
When you know someone who is young and green you can count on them being nice to everyone.
It's been proven that red, rough people are green as well.
A round shaped and red person is definitely nice.
Have you noticed that green and round folks are also so young.
A round person will also be red.