Alan vowed to always be rough, cold, blue, and big as possible. In the snow sits Bob, crying from being cold. Dave ate some rotten meat and now feels green. Eric always goes out of his way to show that he is kind to people. You'll always find a young, kind and red person to be a cold person, too. Someone who is cold, big, and rough is always green, as a rule. Cold, red people are generally kind and big. That young person is feeling cold because he is green to the situation making his body shape round. If a person that is blue and green is also cold, that means that they are young. A young, big sized person will certainly be a kind one. A big, blue and cold person will also be a round person.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Eric is kind.
("Eric" "is" "kind" "+")
If someone is kind and young and red then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and big and rough then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and red and cold then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is young and cold and green then they are round.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and blue and green then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is young and big then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and cold and blue then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Bob is cold.
True
1
proof
[(triple5)]
("Bob" "is" "cold" "+")
triple5
Alan is not blue.
False
1
inv-proof
[(triple3)]
("Alan" "is" "blue" "-")
triple3
Alan is green.
True
4
proof
[(((triple2 triple4 triple1) -> rule2))]
("Alan" "is" "green" "+")
((triple2 triple4 triple1) -> (rule2 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is not green.
False
4
inv-proof
[(((triple2 triple4 triple1) -> rule2))]
("Alan" "is" "green" "-")
((triple2 triple4 triple1) -> (rule2 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is young.
True
7
proof
[(((triple2 triple3 ((triple2 triple4 triple1) -> rule2)) -> rule5))]
("Alan" "is" "young" "+")
((triple2 triple3 ((triple2 triple4 triple1) -> (rule2 % int2))) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is not young.
False
7
inv-proof
[(((triple2 triple3 ((triple2 triple4 triple1) -> rule2)) -> rule5))]
("Alan" "is" "young" "-")
((triple2 triple3 ((triple2 triple4 triple1) -> (rule2 % int2))) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is kind.
True
9
proof
[(((((triple2 triple3 ((triple2 triple4 triple1) -> rule2)) -> rule5) triple4) -> rule6))]
("Alan" "is" "kind" "+")
((((triple2 triple3 ((triple2 triple4 triple1) -> (rule2 % int3))) -> (rule5 % int2)) triple4) -> (rule6 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is not kind.
False
9
inv-proof
[(((((triple2 triple3 ((triple2 triple4 triple1) -> rule2)) -> rule5) triple4) -> rule6))]
("Alan" "is" "kind" "-")
((((triple2 triple3 ((triple2 triple4 triple1) -> (rule2 % int3))) -> (rule5 % int2)) triple4) -> (rule6 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Bob is not round.
Unknown
inv-rconc
[@2: Bob is round.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Bob" "is" "round" "-")
Eric is green.
Unknown
rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "green" "+")
Eric is not cold.
Unknown
inv-rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "cold" "-")
Dave is kind.
Unknown
rconc
[@2: Dave is kind.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Dave" "is" "kind" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Alan is big.[(triple4)] Alan is blue.[(triple3)] Alan is cold.[(triple2)] Alan is rough.[(triple1)] Bob is cold.[(triple5)] Dave is green.[(triple6)] Eric is kind.[(triple7)] @1: Alan is green.[(((triple2 triple4 triple1) -> rule2))] Alan is round.[(((triple4 triple2 triple3) -> rule7) OR ((((triple2 triple3 ((triple2 triple4 triple1) -> rule2)) -> rule5) triple2 ((triple2 triple4 triple1) -> rule2)) -> rule4))] @2: Alan is young.[(((triple2 triple3 ((triple2 triple4 triple1) -> rule2)) -> rule5))] @3: Alan is kind.[(((((triple2 triple3 ((triple2 triple4 triple1) -> rule2)) -> rule5) triple4) -> rule6))]
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
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
triple6
Eric is kind.
("Eric" "is" "kind" "+")
triple7
Alan is green.
("Alan" "is" "green" "+")
((triple2 triple4 triple1) -> (rule2 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
((triple4 triple2 triple3) -> (rule7 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
((((triple2 triple3 ((triple2 triple4 triple1) -> (rule2 % int3))) -> (rule5 % int2)) triple2 ((triple2 triple4 triple1) -> (rule2 % int3))) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
((triple2 triple3 ((triple2 triple4 triple1) -> (rule2 % int2))) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
((((triple2 triple3 ((triple2 triple4 triple1) -> (rule2 % int3))) -> (rule5 % int2)) triple4) -> (rule6 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan vowed to always be rough, cold, blue, and big as possible.
In the snow sits Bob, crying from being cold.
Dave ate some rotten meat and now feels green.
Eric always goes out of his way to show that he is kind to people.
You'll always find a young, kind and red person to be a cold person, too.
Someone who is cold, big, and rough is always green, as a rule.
Cold, red people are generally kind and big.
That young person is feeling cold because he is green to the situation making his body shape round.
If a person that is blue and green is also cold, that means that they are young.
A young, big sized person will certainly be a kind one.
A big, blue and cold person will also be a round person.