Bob ate some rotten meat and now feels green. Charlie who is considered nice was feeling rather rough today. Eric was born only a few years ago so he is young. Harry is blue just like his dog. Harry is rough and round enough for the dog to use him as an exercise wheel. Red and green people that are nice are cold to strangers. Rough, round persons are also nice persons. People who are kind and green are very often rough. A person who is very round is nice but also quite rough. Being blue, cold, and rough must be very trying. At least they are also big. Anyone who's blue is also green. It's true that green and blue people are also red people.
Bob is green.
("Bob" "is" "green" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Eric is young.
("Eric" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is red and nice and green then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and green then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and nice then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and cold and rough then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is blue then they are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is green and blue then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Harry is rough.
True
1
proof
[(triple6)]
("Harry" "is" "rough" "+")
triple6
Charlie is not rough.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "rough" "-")
triple2
Harry is green.
True
2
proof
[(((triple7) -> rule6))]
("Harry" "is" "green" "+")
((triple7) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not nice.
False
3
inv-proof
[(((triple6 triple5) -> rule2))]
("Harry" "is" "nice" "-")
((triple6 triple5) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
True
4
proof
[(((((triple7) -> rule6) triple7) -> rule7))]
("Harry" "is" "red" "+")
((((triple7) -> (rule6 % int2)) triple7) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is not red.
False
4
inv-proof
[(((((triple7) -> rule6) triple7) -> rule7))]
("Harry" "is" "red" "-")
((((triple7) -> (rule6 % int2)) triple7) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
True
10
proof
[(((((((triple7) -> rule6) triple7) -> rule7) ((triple6 triple5) -> rule2) ((triple7) -> rule6)) -> rule1))]
("Harry" "is" "cold" "+")
((((((triple7) -> (rule6 % int4)) triple7) -> (rule7 % int3)) ((triple6 triple5) -> (rule2 % int2)) ((triple7) -> (rule6 % int4))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is not cold.
False
10
inv-proof
[(((((((triple7) -> rule6) triple7) -> rule7) ((triple6 triple5) -> rule2) ((triple7) -> rule6)) -> rule1))]
("Harry" "is" "cold" "-")
((((((triple7) -> (rule6 % int4)) triple7) -> (rule7 % int3)) ((triple6 triple5) -> (rule2 % int2)) ((triple7) -> (rule6 % int4))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is big.
True
13
proof
[(((triple7 ((((((triple7) -> rule6) triple7) -> rule7) ((triple6 triple5) -> rule2) ((triple7) -> rule6)) -> rule1) triple6) -> rule5))]
("Harry" "is" "big" "+")
((triple7 ((((((triple7) -> (rule6 % int5)) triple7) -> (rule7 % int4)) ((triple6 triple5) -> (rule2 % int3)) ((triple7) -> (rule6 % int5))) -> (rule1 % int2)) triple6) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Harry is not big.
False
13
inv-proof
[(((triple7 ((((((triple7) -> rule6) triple7) -> rule7) ((triple6 triple5) -> rule2) ((triple7) -> rule6)) -> rule1) triple6) -> rule5))]
("Harry" "is" "big" "-")
((triple7 ((((((triple7) -> (rule6 % int5)) triple7) -> (rule7 % int4)) ((triple6 triple5) -> (rule2 % int3)) ((triple7) -> (rule6 % int5))) -> (rule1 % int2)) triple6) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "nice" "-")
Eric is red.
Unknown
rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Eric" "is" "red" "+")
Charlie is not cold.
Unknown
inv-rconc
[@2: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is red.
Unknown
rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "red" "+")
Eric is not nice.
Unknown
inv-rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "nice" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Bob is green.[(triple1)] Charlie is nice.[(triple3)] Charlie is rough.[(triple2)] Eric is young.[(triple4)] Harry is blue.[(triple7)] Harry is rough.[(triple6)] Harry is round.[(triple5)] @1: Harry is green.[(((triple7) -> rule6))] Harry is nice.[(((triple6 triple5) -> rule2))] @2: Harry is red.[(((((triple7) -> rule6) triple7) -> rule7))] @3: Harry is cold.[(((((((triple7) -> rule6) triple7) -> rule7) ((triple6 triple5) -> rule2) ((triple7) -> rule6)) -> rule1))] @4: Harry is big.[(((triple7 ((((((triple7) -> rule6) triple7) -> rule7) ((triple6 triple5) -> rule2) ((triple7) -> rule6)) -> rule1) triple6) -> rule5))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Eric is young.
("Eric" "is" "young" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
((triple7) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple6 triple5) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((((triple7) -> (rule6 % int2)) triple7) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((((((triple7) -> (rule6 % int4)) triple7) -> (rule7 % int3)) ((triple6 triple5) -> (rule2 % int2)) ((triple7) -> (rule6 % int4))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
((triple7 ((((((triple7) -> (rule6 % int5)) triple7) -> (rule7 % int4)) ((triple6 triple5) -> (rule2 % int3)) ((triple7) -> (rule6 % int5))) -> (rule1 % int2)) triple6) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Bob ate some rotten meat and now feels green.
Charlie who is considered nice was feeling rather rough today.
Eric was born only a few years ago so he is young.
Harry is blue just like his dog; Harry is rough and round enough for the dog to use him as an exercise wheel.
Red and green people that are nice are cold to strangers.
Rough, round persons are also nice persons.
People who are kind and green are very often rough.
A person who is very round is nice but also quite rough.
Being blue, cold, and rough must be very trying; At least they are also big.
Anyone who's blue is also green.
It's true that green and blue people are also red people.