Alan gets red when he is mad and tends to act very cold. Bob is very nice to people, but he's also rather big. Gary is a young and nice man, and he is also very big shaped. Harry is young and green, so although he is rough and blue with sadness, he'll grow out of it. A rough person who is young and nice is also red. A young, nice person will turn out to be a green person also. Blue, red, young people are always going to be kind people, too. Kind people who are nice find that they must also be rough. Whenever you see Pete you run into a young man rough, which means he will be nice. If you meet somebody who is young, rough and round, you can be sure they are nice as well. You will find most green,cold and blue people to be rough.
Alan is red.
("Alan" "is" "red" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is big.
("Bob" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is young and nice and rough then they are red.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is young and nice then they are green.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and red and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and round and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and cold and blue then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
Gary is big.
True
1
proof
[(triple7)]
("Gary" "is" "big" "+")
triple7
Bob is not big.
False
1
inv-proof
[(triple4)]
("Bob" "is" "big" "-")
triple4
Harry is nice.
True
3
proof
[(((triple8 triple9) -> rule5))]
("Harry" "is" "nice" "+")
((triple8 triple9) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Gary is not green.
False
3
inv-proof
[(((triple5 triple6) -> rule2))]
("Gary" "is" "green" "-")
((triple5 triple6) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Harry is red.
True
6
proof
[(((triple8 ((triple8 triple9) -> rule5) triple9) -> rule1))]
("Harry" "is" "red" "+")
((triple8 ((triple8 triple9) -> (rule5 % int2)) triple9) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not red.
False
6
inv-proof
[(((triple8 ((triple8 triple9) -> rule5) triple9) -> rule1))]
("Harry" "is" "red" "-")
((triple8 ((triple8 triple9) -> (rule5 % int2)) triple9) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
True
9
proof
[(((triple11 ((triple8 ((triple8 triple9) -> rule5) triple9) -> rule1) triple8) -> rule3))]
("Harry" "is" "kind" "+")
((triple11 ((triple8 ((triple8 triple9) -> (rule5 % int3)) triple9) -> (rule1 % int2)) triple8) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is not kind.
False
9
inv-proof
[(((triple11 ((triple8 ((triple8 triple9) -> rule5) triple9) -> rule1) triple8) -> rule3))]
("Harry" "is" "kind" "-")
((triple11 ((triple8 ((triple8 triple9) -> (rule5 % int3)) triple9) -> (rule1 % int2)) triple8) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Gary is not red.
Unknown
inv-rconc
[@3: Gary is red.[CWA. Example of deepest failure = (rule1 <- rule4 <- rule3 <- FAIL)]]
("Gary" "is" "red" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "green" "+")
Gary is not rough.
Unknown
inv-rconc
[@2: Gary is rough.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Gary" "is" "rough" "-")
Alan is rough.
Unknown
rconc
[@2: Alan is rough.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Alan" "is" "rough" "+")
Alan is not big.
Unknown
inv-random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
@0: Alan is cold.[(triple2)] Alan is red.[(triple1)] Bob is big.[(triple4)] Bob is nice.[(triple3)] Gary is big.[(triple7)] Gary is nice.[(triple6)] Gary is young.[(triple5)] Harry is blue.[(triple11)] Harry is green.[(triple10 OR ((triple8 ((triple8 triple9) -> rule5)) -> rule2))] Harry is rough.[(triple9)] Harry is young.[(triple8)] @1: Gary is green.[(((triple5 triple6) -> rule2))] Harry is nice.[(((triple8 triple9) -> rule5))] @2: Harry is red.[(((triple8 ((triple8 triple9) -> rule5) triple9) -> rule1))] @3: Harry is kind.[(((triple11 ((triple8 ((triple8 triple9) -> rule5) triple9) -> rule1) triple8) -> rule3))]
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple10
((triple8 ((triple8 triple9) -> (rule5 % int2))) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
((triple5 triple6) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple8 triple9) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple8 ((triple8 triple9) -> (rule5 % int2)) triple9) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((triple11 ((triple8 ((triple8 triple9) -> (rule5 % int3)) triple9) -> (rule1 % int2)) triple8) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Alan gets red when he is mad and tends to act very cold.
Bob is very nice to people, but he's also rather big.
Gary is a young and nice man, and he is also very big shaped.
Harry is young and green, so although he is rough and blue with sadness, he'll grow out of it.
A rough person who is young and nice is also red.
A young, nice person will turn out to be a green person also.
Blue, red, young people are always going to be kind people, too.
Kind people who are nice find that they must also be rough.
Whenever you see Pete you run into a young man rough, which means he will be nice.
If you meet somebody who is young, rough and round, you can be sure they are nice as well.
You will find most green,cold and blue people to be rough.