Alan vowed to always be rough, cold, blue, and big as possible. Eric is still young and round, but he is nice to everyone and kind to animals. Harry is very young to be a nurse but he loves helping others because he is so nice and kind. If someone has a red face and feels blue and has a round body then you'll automatically think they are big. If a person is red and green, then they will present as big. A cold and blue appearing person will be young as well. Someone who's blue, nice and round will also be someone who's green. An individual who is big and nice is also green. A person who is cold, rough and young is also nice. Someone can be big and rough, but cold even though they are kind.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is red and blue and round then they are big.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is red and green then they are big.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and blue then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
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 big and nice then they are green.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
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 cold and rough and big then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Eric is round.
True
1
proof
[(triple6)]
("Eric" "is" "round" "+")
triple6
Harry is not nice.
False
1
inv-proof
[(triple10)]
("Harry" "is" "nice" "-")
triple10
Alan is young.
True
3
proof
[(((triple2 triple3) -> rule3))]
("Alan" "is" "young" "+")
((triple2 triple3) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is not young.
False
3
inv-proof
[(((triple2 triple3) -> rule3))]
("Alan" "is" "young" "-")
((triple2 triple3) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
True
6
proof
[(((triple2 ((triple2 triple3) -> rule3) triple1) -> rule6))]
("Alan" "is" "nice" "+")
((triple2 ((triple2 triple3) -> (rule3 % int2)) triple1) -> (rule6 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is not nice.
False
6
inv-proof
[(((triple2 ((triple2 triple3) -> rule3) triple1) -> rule6))]
("Alan" "is" "nice" "-")
((triple2 ((triple2 triple3) -> (rule3 % int2)) triple1) -> (rule6 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
True
8
proof
[(((triple4 ((triple2 ((triple2 triple3) -> rule3) triple1) -> rule6)) -> rule5))]
("Alan" "is" "green" "+")
((triple4 ((triple2 ((triple2 triple3) -> (rule3 % int3)) triple1) -> (rule6 % int2))) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is not green.
False
8
inv-proof
[(((triple4 ((triple2 ((triple2 triple3) -> rule3) triple1) -> rule6)) -> rule5))]
("Alan" "is" "green" "-")
((triple4 ((triple2 ((triple2 triple3) -> (rule3 % int3)) triple1) -> (rule6 % int2))) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Harry is not green.
Unknown
inv-rconc
[@2: Harry is green.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Harry" "is" "green" "-")
Eric is green.
Unknown
rconc
[@2: Eric is green.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Eric" "is" "green" "+")
Fred is not green.
Unknown
inv-rconc
[@2: Fred is green.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Fred" "is" "green" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "nice" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Alan is not round.
Unknown
inv-random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "-")
Fred is blue.
Unknown
random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "+")
@0: Alan is big.[(triple4)] Alan is blue.[(triple3)] Alan is cold.[(triple2)] Alan is rough.[(triple1)] Eric is kind.[(triple8)] Eric is nice.[(triple7)] Eric is round.[(triple6)] Eric is young.[(triple5)] Harry is kind.[(triple11)] Harry is nice.[(triple10)] Harry is young.[(triple9)] @1: Alan is kind.[(((triple2 triple1 triple4) -> rule7))] Alan is young.[(((triple2 triple3) -> rule3))] @2: Alan is nice.[(((triple2 ((triple2 triple3) -> rule3) triple1) -> rule6))] @3: Alan is green.[(((triple4 ((triple2 ((triple2 triple3) -> rule3) triple1) -> rule6)) -> rule5))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Eric is kind.
("Eric" "is" "kind" "+")
triple8
Eric is nice.
("Eric" "is" "nice" "+")
triple7
Eric is round.
("Eric" "is" "round" "+")
triple6
Eric is young.
("Eric" "is" "young" "+")
triple5
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Alan is kind.
("Alan" "is" "kind" "+")
((triple2 triple1 triple4) -> (rule7 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
((triple2 triple3) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
((triple2 ((triple2 triple3) -> (rule3 % int2)) triple1) -> (rule6 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
((triple4 ((triple2 ((triple2 triple3) -> (rule3 % int3)) triple1) -> (rule6 % int2))) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan vowed to always be rough, cold, blue, and big as possible.
Eric is still young and round, but he is nice to everyone and kind to animals.
Harry is very young to be a nurse but he loves helping others because he is so nice and kind.
If someone has a red face and feels blue and has a round body then you'll automatically think they are big.
If a person is red and green, then they will present as big.
A cold and blue appearing person will be young as well.
Someone who's blue, nice and round will also be someone who's green.
An individual who is big and nice is also green.
A person who is cold, rough and young is also nice.
Someone can be big and rough, but cold even though they are kind.