Even though big Fred can be rough and cold, he is nice for someone as red as he is. You should meet Gary, he is big and rough on the football field but also very young in age. Harry is a nice person, but he is both blue and red. Big people who kind even when look green are often always considered nice. A nice and blue person who's also red will be a rough person. A rough and round person is also a big person. People,though rough and red,tend to be cold too. Young people with red, flushed cheeks who are rough around the edges are really quite nice. A nice person with rough skin will be round, you can count on it. People who are considered rough, blue, and nice, are also green.
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is big and kind and green then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and nice and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and rough then they are big.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and young and rough then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and nice then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and blue and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Harry is nice.
True
1
proof
[(triple10)]
("Harry" "is" "nice" "+")
triple10
Harry is not red.
False
1
inv-proof
[(triple9)]
("Harry" "is" "red" "-")
triple9
Fred is round.
True
3
proof
[(((triple1 triple3) -> rule6))]
("Fred" "is" "round" "+")
((triple1 triple3) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is not round.
False
3
inv-proof
[(((triple1 triple3) -> rule6))]
("Fred" "is" "round" "-")
((triple1 triple3) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Harry is cold.
True
6
proof
[(((((triple11 triple10 triple9) -> rule2) triple9) -> rule4))]
("Harry" "is" "cold" "+")
((((triple11 triple10 triple9) -> (rule2 % int2)) triple9) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is not green.
False
7
inv-proof
[(((((triple11 triple10 triple9) -> rule2) triple11 triple10) -> rule7))]
("Harry" "is" "green" "-")
((((triple11 triple10 triple9) -> (rule2 % int2)) triple11 triple10) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
True
11
proof
[(((((((triple11 triple10 triple9) -> rule2) triple10) -> rule6) ((triple11 triple10 triple9) -> rule2)) -> rule3))]
("Harry" "is" "big" "+")
((((((triple11 triple10 triple9) -> (rule2 % int3)) triple10) -> (rule6 % int2)) ((triple11 triple10 triple9) -> (rule2 % int3))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is not big.
False
11
inv-proof
[(((((((triple11 triple10 triple9) -> rule2) triple10) -> rule6) ((triple11 triple10 triple9) -> rule2)) -> rule3))]
("Harry" "is" "big" "-")
((((((triple11 triple10 triple9) -> (rule2 % int3)) triple10) -> (rule6 % int2)) ((triple11 triple10 triple9) -> (rule2 % int3))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Fred is not green.
Unknown
inv-rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fred" "is" "green" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "nice" "+")
Charlie is not round.
Unknown
inv-rconc
[@2: Charlie is round.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Charlie" "is" "round" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "nice" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Fred is big.[(triple5 OR ((((triple1 triple3) -> rule6) triple1) -> rule3))] Fred is cold.[(triple4 OR ((triple1 triple2) -> rule4))] Fred is nice.[(triple3)] Fred is red.[(triple2)] Fred is rough.[(triple1)] Gary is big.[(triple8)] Gary is rough.[(triple7)] Gary is young.[(triple6)] Harry is blue.[(triple11)] Harry is nice.[(triple10)] Harry is red.[(triple9)] @1: Fred is round.[(((triple1 triple3) -> rule6))] Harry is rough.[(((triple11 triple10 triple9) -> rule2))] @2: Harry is cold.[(((((triple11 triple10 triple9) -> rule2) triple9) -> rule4))] Harry is green.[(((((triple11 triple10 triple9) -> rule2) triple11 triple10) -> rule7))] Harry is round.[(((((triple11 triple10 triple9) -> rule2) triple10) -> rule6))] @3: Harry is big.[(((((((triple11 triple10 triple9) -> rule2) triple10) -> rule6) ((triple11 triple10 triple9) -> rule2)) -> rule3))]
Fred is big.
("Fred" "is" "big" "+")
triple5
((((triple1 triple3) -> (rule6 % int2)) triple1) -> (rule3 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
triple4
((triple1 triple2) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
triple3
Fred is red.
("Fred" "is" "red" "+")
triple2
Fred is rough.
("Fred" "is" "rough" "+")
triple1
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple9
Fred is round.
("Fred" "is" "round" "+")
((triple1 triple3) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple11 triple10 triple9) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((((triple11 triple10 triple9) -> (rule2 % int2)) triple9) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((((triple11 triple10 triple9) -> (rule2 % int2)) triple11 triple10) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((((triple11 triple10 triple9) -> (rule2 % int2)) triple10) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((((((triple11 triple10 triple9) -> (rule2 % int3)) triple10) -> (rule6 % int2)) ((triple11 triple10 triple9) -> (rule2 % int3))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Even though big Fred can be rough and cold, he is nice for someone as red as he is.
You should meet Gary, he is big and rough on the football field but also very young in age.
Harry is a nice person, but he is both blue and red.
Big people who kind even when look green are often always considered nice.
A nice and blue person who's also red will be a rough person.
A rough and round person is also a big person.
People,though rough and red,tend to be cold too.
Young people with red, flushed cheeks who are rough around the edges are really quite nice.
A nice person with rough skin will be round, you can count on it.
People who are considered rough, blue, and nice, are also green.