Alan is a cold young man. He is prone the being blue with sadness because he is green with envy. Even though Bob is green with envy he is nice with rosy red cheeks. Charlie always goes out of his way to show that he is kind to people. Dave is round shaped and green colored. Rough people are often round. Cold people with rough, green skin are young. If you are green you are also kind. If someone is round in their face and big boned as well as having cold hands then you'll often note that their skin is rough. Kind and blue people,though young,tend to be big. Big,cold,kind people tend to be red in color to others.
Alan is young.
("Alan" "is" "young" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is green.
("Dave" "is" "green" "+")
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and rough and green then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is green then they are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and big and cold then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and blue and young then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and big and cold then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Bob is nice.
True
1
proof
[(triple6)]
("Bob" "is" "nice" "+")
triple6
Bob is not red.
False
1
inv-proof
[(triple5)]
("Bob" "is" "red" "-")
triple5
Alan is kind.
True
2
proof
[(((triple2) -> rule3))]
("Alan" "is" "kind" "+")
((triple2) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Bob is not kind.
False
2
inv-proof
[(((triple7) -> rule3))]
("Bob" "is" "kind" "-")
((triple7) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Alan is big.
True
5
proof
[(((((triple2) -> rule3) triple4 triple1) -> rule5))]
("Alan" "is" "big" "+")
((((triple2) -> (rule3 % int2)) triple4 triple1) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is not big.
False
5
inv-proof
[(((((triple2) -> rule3) triple4 triple1) -> rule5))]
("Alan" "is" "big" "-")
((((triple2) -> (rule3 % int2)) triple4 triple1) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is red.
True
9
proof
[(((((triple2) -> rule3) ((((triple2) -> rule3) triple4 triple1) -> rule5) triple3) -> rule6))]
("Alan" "is" "red" "+")
((((triple2) -> (rule3 % int3)) ((((triple2) -> (rule3 % int3)) triple4 triple1) -> (rule5 % int2)) triple3) -> (rule6 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is not red.
False
9
inv-proof
[(((((triple2) -> rule3) ((((triple2) -> rule3) triple4 triple1) -> rule5) triple3) -> rule6))]
("Alan" "is" "red" "-")
((((triple2) -> (rule3 % int3)) ((((triple2) -> (rule3 % int3)) triple4 triple1) -> (rule5 % int2)) triple3) -> (rule6 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "rough" "-")
Charlie is round.
Unknown
rconc
[@2: Charlie is round.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Charlie" "is" "round" "+")
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "young" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "young" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Alan is blue.[(triple4)] Alan is cold.[(triple3)] Alan is green.[(triple2)] Alan is young.[(triple1)] Bob is green.[(triple7)] Bob is nice.[(triple6)] Bob is red.[(triple5)] Charlie is kind.[(triple8)] Dave is green.[(triple10)] Dave is round.[(triple9)] @1: Alan is kind.[(((triple2) -> rule3))] Bob is kind.[(((triple7) -> rule3))] Dave is kind.[(((triple10) -> rule3))] @2: Alan is big.[(((((triple2) -> rule3) triple4 triple1) -> rule5))] @3: Alan is red.[(((((triple2) -> rule3) ((((triple2) -> rule3) triple4 triple1) -> rule5) triple3) -> rule6))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple7
Bob is nice.
("Bob" "is" "nice" "+")
triple6
Bob is red.
("Bob" "is" "red" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple8
Dave is green.
("Dave" "is" "green" "+")
triple10
Dave is round.
("Dave" "is" "round" "+")
triple9
Alan is kind.
("Alan" "is" "kind" "+")
((triple2) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((triple7) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((triple10) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
((((triple2) -> (rule3 % int2)) triple4 triple1) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
((((triple2) -> (rule3 % int3)) ((((triple2) -> (rule3 % int3)) triple4 triple1) -> (rule5 % int2)) triple3) -> (rule6 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is a cold young man; He is prone the being blue with sadness because he is green with envy.
Even though Bob is green with envy he is nice with rosy red cheeks.
Charlie always goes out of his way to show that he is kind to people.
Dave is round shaped and green colored.
Rough people are often round.
Cold people with rough, green skin are young.
If you are green you are also kind.
If someone is round in their face and big boned as well as having cold hands then you'll often note that their skin is rough.
Kind and blue people,though young,tend to be big.
Big,cold,kind people tend to be red in color to others.