Dave ate some rotten meat and now feels green. Eric is green, which is a possible explanation for why he is so nice. This Fred guy is red. He is also kind and yet cold. Blue and green, cold but kind, young Harry is also quite round. A round and nice person will certainly have a red tint to them. A person described as cold and kind can also be described as nice. People who are described as young, green, and big are often considered rough. A person who is cold, rough and young is also nice. Young people that are also red and green, may be fairly rough, also. If somebody has the characteristics of being blue, rough and green, they are also going to be cold.
Dave is green.
("Dave" "is" "green" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is green.
("Eric" "is" "green" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is round and nice then they are red.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and green and young then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
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 red and green and young then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and rough and green then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Harry is round.
True
1
proof
[(triple8)]
("Harry" "is" "round" "+")
triple8
Harry is not young.
False
1
inv-proof
[(triple7)]
("Harry" "is" "young" "-")
triple7
Fred is nice.
True
3
proof
[(((triple6 triple5) -> rule2))]
("Fred" "is" "nice" "+")
((triple6 triple5) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Harry is not nice.
False
3
inv-proof
[(((triple11 triple9) -> rule2))]
("Harry" "is" "nice" "-")
((triple11 triple9) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
True
5
proof
[(((triple8 ((triple11 triple9) -> rule2)) -> rule1))]
("Harry" "is" "red" "+")
((triple8 ((triple11 triple9) -> (rule2 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not red.
False
5
inv-proof
[(((triple8 ((triple11 triple9) -> rule2)) -> rule1))]
("Harry" "is" "red" "-")
((triple8 ((triple11 triple9) -> (rule2 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
True
8
proof
[(((((triple8 ((triple11 triple9) -> rule2)) -> rule1) triple10 triple7) -> rule5))]
("Harry" "is" "rough" "+")
((((triple8 ((triple11 triple9) -> (rule2 % int3))) -> (rule1 % int2)) triple10 triple7) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is not rough.
False
8
inv-proof
[(((((triple8 ((triple11 triple9) -> rule2)) -> rule1) triple10 triple7) -> rule5))]
("Harry" "is" "rough" "-")
((((triple8 ((triple11 triple9) -> (rule2 % int3))) -> (rule1 % int2)) triple10 triple7) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "cold" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "rough" "+")
Eric is not rough.
Unknown
inv-rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "rough" "-")
Eric is cold.
Unknown
rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "cold" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
@0: Dave is green.[(triple1)] Eric is green.[(triple3)] Eric is nice.[(triple2)] Fred is cold.[(triple6)] Fred is kind.[(triple5)] Fred is red.[(triple4)] Harry is blue.[(triple12)] Harry is cold.[(triple11)] Harry is green.[(triple10)] Harry is kind.[(triple9)] Harry is round.[(triple8)] Harry is young.[(triple7)] @1: Fred is nice.[(((triple6 triple5) -> rule2))] Harry is nice.[(((triple11 triple9) -> rule2))] @2: Harry is red.[(((triple8 ((triple11 triple9) -> rule2)) -> rule1))] @3: Harry is rough.[(((((triple8 ((triple11 triple9) -> rule2)) -> rule1) triple10 triple7) -> rule5))]
Dave is green.
("Dave" "is" "green" "+")
triple1
Eric is green.
("Eric" "is" "green" "+")
triple3
Eric is nice.
("Eric" "is" "nice" "+")
triple2
Fred is cold.
("Fred" "is" "cold" "+")
triple6
Fred is kind.
("Fred" "is" "kind" "+")
triple5
Fred is red.
("Fred" "is" "red" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
Fred is nice.
("Fred" "is" "nice" "+")
((triple6 triple5) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple11 triple9) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple8 ((triple11 triple9) -> (rule2 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
((((triple8 ((triple11 triple9) -> (rule2 % int3))) -> (rule1 % int2)) triple10 triple7) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Dave ate some rotten meat and now feels green.
Eric is green, which is a possible explanation for why he is so nice.
This Fred guy is red; He is also kind and yet cold.
Blue and green, cold but kind, young Harry is also quite round.
A round and nice person will certainly have a red tint to them.
A person described as cold and kind can also be described as nice.
People who are described as young, green, and big are often considered rough.
A person who is cold, rough and young is also nice.
Young people that are also red and green, may be fairly rough, also.
If somebody has the characteristics of being blue, rough and green, they are also going to be cold.