Eric is a man who is both round and rough. Fred is kind and round. Being round makes him a bit blue. Even though Gary is rough, he nice but cold and blue. Harry is nice, even when he is rough and red with anger. If the person is big and cold then as a rule they must be green. Anyone you find who happens to be kind and blue will also be very nice. When you meet someone that's rough, kind and nice you'll see they are green as well. Young,cold and blue people are mostly round. A person who is cold, rough and young is also nice. Kind and nice people who feel blue usually look green. A person that is green also someone who is big.
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is big and cold then they are green.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and blue then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and kind and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and young and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and young and rough then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and blue and nice then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is green then they are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Gary is rough.
True
1
proof
[(triple6)]
("Gary" "is" "rough" "+")
triple6
Gary is not rough.
False
1
inv-proof
[(triple6)]
("Gary" "is" "rough" "-")
triple6
Fred is nice.
True
3
proof
[(((triple4 triple5) -> rule2))]
("Fred" "is" "nice" "+")
((triple4 triple5) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is not nice.
False
3
inv-proof
[(((triple4 triple5) -> rule2))]
("Fred" "is" "nice" "-")
((triple4 triple5) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is green.
True
6
proof
[(((triple4 triple5 ((triple4 triple5) -> rule2)) -> rule6))]
("Fred" "is" "green" "+")
((triple4 triple5 ((triple4 triple5) -> (rule2 % int2))) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is not green.
False
6
inv-proof
[(((triple4 triple5 ((triple4 triple5) -> rule2)) -> rule6))]
("Fred" "is" "green" "-")
((triple4 triple5 ((triple4 triple5) -> (rule2 % int2))) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is big.
True
7
proof
[(((((triple4 triple5 ((triple4 triple5) -> rule2)) -> rule6)) -> rule7))]
("Fred" "is" "big" "+")
((((triple4 triple5 ((triple4 triple5) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is not big.
False
7
inv-proof
[(((((triple4 triple5 ((triple4 triple5) -> rule2)) -> rule6)) -> rule7))]
("Fred" "is" "big" "-")
((((triple4 triple5 ((triple4 triple5) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Harry is not big.
Unknown
inv-rconc
[@2: Harry is big.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Harry" "is" "big" "-")
Gary is big.
Unknown
rconc
[@2: Gary is big.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Gary" "is" "big" "+")
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "round" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "green" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Eric is rough.[(triple2)] Eric is round.[(triple1)] Fred is blue.[(triple5)] Fred is kind.[(triple4)] Fred is round.[(triple3)] Gary is blue.[(triple9)] Gary is cold.[(triple8)] Gary is nice.[(triple7)] Gary is rough.[(triple6)] Harry is nice.[(triple12)] Harry is red.[(triple11)] Harry is rough.[(triple10)] @1: Fred is nice.[(((triple4 triple5) -> rule2))] @2: Fred is green.[(((triple4 triple5 ((triple4 triple5) -> rule2)) -> rule6))] @3: Fred is big.[(((((triple4 triple5 ((triple4 triple5) -> rule2)) -> rule6)) -> rule7))]
Eric is rough.
("Eric" "is" "rough" "+")
triple2
Eric is round.
("Eric" "is" "round" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple5
Fred is kind.
("Fred" "is" "kind" "+")
triple4
Fred is round.
("Fred" "is" "round" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
triple12
Harry is red.
("Harry" "is" "red" "+")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Fred is nice.
("Fred" "is" "nice" "+")
((triple4 triple5) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((triple4 triple5 ((triple4 triple5) -> (rule2 % int2))) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
((((triple4 triple5 ((triple4 triple5) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Eric is a man who is both round and rough.
Fred is kind and round; Being round makes him a bit blue.
Even though Gary is rough, he nice but cold and blue.
Harry is nice, even when he is rough and red with anger.
If the person is big and cold then as a rule they must be green.
Anyone you find who happens to be kind and blue will also be very nice.
When you meet someone that's rough, kind and nice you'll see they are green as well.
Young,cold and blue people are mostly round.
A person who is cold, rough and young is also nice.
Kind and nice people who feel blue usually look green.
A person that is green also someone who is big.