Young, red Alan is nice. Bob ate some rotten meat and now feels green. Gary was born only a few years ago so he is young. Others enjoy Harry's company because he is so nice and kind. If someone is kind to others and cold to others as well as being red faced then you'll find that they often have a round body. If a big, red person with a round figure comes up to you, don't worry, they will be very nice. A person who is cold with a red nose will be feeling blue. Red and kind people always seem to be big as well. Being cold and blue made them rough to deal with. Nice people who are looking green and seeing red usually feel rather rough. A person that is both nice and young will also be cold.
Alan is young.
("Alan" "is" "young" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is kind and cold and red then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is big and round and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and red then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and kind then they are big.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and blue then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and green and red then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and young then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
Alan is red.
True
1
proof
[(triple2)]
("Alan" "is" "red" "+")
triple2
Alan is not nice.
False
1
inv-proof
[(triple3)]
("Alan" "is" "nice" "-")
triple3
Alan is cold.
True
3
proof
[(((triple3 triple1) -> rule7))]
("Alan" "is" "cold" "+")
((triple3 triple1) -> (rule7 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is not cold.
False
3
inv-proof
[(((triple3 triple1) -> rule7))]
("Alan" "is" "cold" "-")
((triple3 triple1) -> (rule7 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is blue.
True
5
proof
[(((((triple3 triple1) -> rule7) triple2) -> rule3))]
("Alan" "is" "blue" "+")
((((triple3 triple1) -> (rule7 % int2)) triple2) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is not blue.
False
5
inv-proof
[(((((triple3 triple1) -> rule7) triple2) -> rule3))]
("Alan" "is" "blue" "-")
((((triple3 triple1) -> (rule7 % int2)) triple2) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is rough.
True
9
proof
[(((((triple3 triple1) -> rule7) ((((triple3 triple1) -> rule7) triple2) -> rule3)) -> rule5))]
("Alan" "is" "rough" "+")
((((triple3 triple1) -> (rule7 % int3)) ((((triple3 triple1) -> (rule7 % int3)) triple2) -> (rule3 % int2))) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is not rough.
False
9
inv-proof
[(((((triple3 triple1) -> rule7) ((((triple3 triple1) -> rule7) triple2) -> rule3)) -> rule5))]
("Alan" "is" "rough" "-")
((((triple3 triple1) -> (rule7 % int3)) ((((triple3 triple1) -> (rule7 % int3)) triple2) -> (rule3 % int2))) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "nice" "-")
Bob is blue.
Unknown
rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "blue" "+")
Alan is not big.
Unknown
inv-rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "big" "-")
Bob is rough.
Unknown
rconc
[@2: Bob is rough.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("Bob" "is" "rough" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is young.[(triple1)] Bob is green.[(triple4)] Gary is young.[(triple5)] Harry is kind.[(triple7)] Harry is nice.[(triple6)] @1: Alan is cold.[(((triple3 triple1) -> rule7))] @2: Alan is blue.[(((((triple3 triple1) -> rule7) triple2) -> rule3))] @3: Alan is rough.[(((((triple3 triple1) -> rule7) ((((triple3 triple1) -> rule7) triple2) -> rule3)) -> rule5))]
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple4
Gary is young.
("Gary" "is" "young" "+")
triple5
Harry is kind.
("Harry" "is" "kind" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple6
Alan is cold.
("Alan" "is" "cold" "+")
((triple3 triple1) -> (rule7 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
((((triple3 triple1) -> (rule7 % int2)) triple2) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
((((triple3 triple1) -> (rule7 % int3)) ((((triple3 triple1) -> (rule7 % int3)) triple2) -> (rule3 % int2))) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Young, red Alan is nice.
Bob ate some rotten meat and now feels green.
Gary was born only a few years ago so he is young.
Others enjoy Harry's company because he is so nice and kind.
If someone is kind to others and cold to others as well as being red faced then you'll find that they often have a round body.
If a big, red person with a round figure comes up to you, don't worry, they will be very nice.
A person who is cold with a red nose will be feeling blue.
Red and kind people always seem to be big as well.
Being cold and blue made them rough to deal with.
Nice people who are looking green and seeing red usually feel rather rough.
A person that is both nice and young will also be cold.