Alan ate some rotten meat and now feels green. Because Eric is so young, he is rough and cold when he can be round instead. To be young and red like Fred is pretty nice, which Green Fred is also. Harry is blue just like his dog. Harry is rough and round enough for the dog to use him as an exercise wheel. If the description of nice and green applies to somebody, the description of young will, too. Rough people are often always nice. I've been told that big, nice people are very rough. As far as anyone can tell, whoever is kind, rough, and big is a round person. Someone who's blue, nice and round will also be someone who's green. Nice people who are kind, despite their rough skin, are big hearted. People who are nice, big, and also rough, are considered red.
Alan is green.
("Alan" "is" "green" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is green and nice then they are young.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is rough then they are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and nice then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and rough and big then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and nice and round then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and nice and rough then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and big and rough then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
Fred is nice.
True
1
proof
[(triple8)]
("Fred" "is" "nice" "+")
triple8
Harry is not round.
False
1
inv-proof
[(triple10)]
("Harry" "is" "round" "-")
triple10
Eric is nice.
True
2
proof
[(((triple4) -> rule2))]
("Eric" "is" "nice" "+")
((triple4) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Harry is not nice.
False
2
inv-proof
[(((triple11) -> rule2))]
("Harry" "is" "nice" "-")
((triple11) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
True
5
proof
[(((triple12 ((triple11) -> rule2) triple10) -> rule5))]
("Harry" "is" "green" "+")
((triple12 ((triple11) -> (rule2 % int2)) triple10) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not green.
False
5
inv-proof
[(((triple12 ((triple11) -> rule2) triple10) -> rule5))]
("Harry" "is" "green" "-")
((triple12 ((triple11) -> (rule2 % int2)) triple10) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
True
8
proof
[(((((triple12 ((triple11) -> rule2) triple10) -> rule5) ((triple11) -> rule2)) -> rule1))]
("Harry" "is" "young" "+")
((((triple12 ((triple11) -> (rule2 % int3)) triple10) -> (rule5 % int2)) ((triple11) -> (rule2 % int3))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is not young.
False
8
inv-proof
[(((((triple12 ((triple11) -> rule2) triple10) -> rule5) ((triple11) -> rule2)) -> rule1))]
("Harry" "is" "young" "-")
((((triple12 ((triple11) -> (rule2 % int3)) triple10) -> (rule5 % int2)) ((triple11) -> (rule2 % int3))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Alan is not nice.
Unknown
inv-rconc
[@2: Alan is nice.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Alan" "is" "nice" "-")
Alan is rough.
Unknown
rconc
[@2: Alan is rough.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Alan" "is" "rough" "+")
Alan is not young.
Unknown
inv-rconc
[@3: Alan is young.[CWA. Example of deepest failure = (rule1 <- rule2 <- rule3 <- FAIL)]]
("Alan" "is" "young" "-")
Eric is red.
Unknown
rconc
[@2: Eric is red.[CWA. Example of deepest failure = (rule7 <- rule6 <- FAIL)]]
("Eric" "is" "red" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
@0: Alan is green.[(triple1)] Eric is cold.[(triple5)] Eric is rough.[(triple4)] Eric is round.[(triple3)] Eric is young.[(triple2)] Fred is green.[(triple9)] Fred is nice.[(triple8)] Fred is red.[(triple7)] Fred is young.[(triple6 OR ((triple9 triple8) -> rule1))] Harry is blue.[(triple12)] Harry is rough.[(triple11)] Harry is round.[(triple10)] @1: Eric is nice.[(((triple4) -> rule2))] Harry is nice.[(((triple11) -> rule2))] @2: Harry is green.[(((triple12 ((triple11) -> rule2) triple10) -> rule5))] @3: Harry is young.[(((((triple12 ((triple11) -> rule2) triple10) -> rule5) ((triple11) -> rule2)) -> rule1))]
Alan is green.
("Alan" "is" "green" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple5
Eric is rough.
("Eric" "is" "rough" "+")
triple4
Eric is round.
("Eric" "is" "round" "+")
triple3
Eric is young.
("Eric" "is" "young" "+")
triple2
Fred is green.
("Fred" "is" "green" "+")
triple9
Fred is nice.
("Fred" "is" "nice" "+")
triple8
Fred is red.
("Fred" "is" "red" "+")
triple7
Fred is young.
("Fred" "is" "young" "+")
triple6
((triple9 triple8) -> (rule1 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Eric is nice.
("Eric" "is" "nice" "+")
((triple4) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple11) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple12 ((triple11) -> (rule2 % int2)) triple10) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((((triple12 ((triple11) -> (rule2 % int3)) triple10) -> (rule5 % int2)) ((triple11) -> (rule2 % int3))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Alan ate some rotten meat and now feels green.
Because Eric is so young, he is rough and cold when he can be round instead.
To be young and red like Fred is pretty nice, which Green Fred is also.
Harry is blue just like his dog; Harry is rough and round enough for the dog to use him as an exercise wheel.
If the description of nice and green applies to somebody, the description of young will, too.
Rough people are often always nice.
I've been told that big, nice people are very rough.
As far as anyone can tell, whoever is kind, rough, and big is a round person.
Someone who's blue, nice and round will also be someone who's green.
Nice people who are kind, despite their rough skin, are big hearted.
People who are nice, big, and also rough, are considered red.