Alan is young and green, so although he is rough and blue with sadness, he'll grow out of it. That man standing next to you with a big round body goes by the name of Bob. Dave is a big gentleman who is very nice. He is secretly green with envy. Upon meeting Harry, you'll notice he's green and kind. Someone who is round in shape and green in color is usually cold. A person who is nice and green with envy is round. People who are blue and green are nice. A red, round male or female will also be a nice male or female.
If someone is green and round then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and green then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and green then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and round then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Bob is round.
True
1
proof
[(triple5)]
("Bob" "is" "round" "+")
triple5
Alan is not rough.
False
1
inv-proof
[(triple2)]
("Alan" "is" "rough" "-")
triple2
Dave is round.
True
3
proof
[(((triple7 triple8) -> rule2))]
("Dave" "is" "round" "+")
((triple7 triple8) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is not round.
False
3
inv-proof
[(((triple7 triple8) -> rule2))]
("Dave" "is" "round" "-")
((triple7 triple8) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is cold.
True
5
proof
[(((triple8 ((triple7 triple8) -> rule2)) -> rule1))]
("Dave" "is" "cold" "+")
((triple8 ((triple7 triple8) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Alan is not round.
False
5
inv-proof
[(((((triple4 triple3) -> rule3) triple3) -> rule2))]
("Alan" "is" "round" "-")
((((triple4 triple3) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is cold.
True
7
proof
[(((triple3 ((((triple4 triple3) -> rule3) triple3) -> rule2)) -> rule1))]
("Alan" "is" "cold" "+")
((triple3 ((((triple4 triple3) -> (rule3 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is not cold.
False
7
inv-proof
[(((triple3 ((((triple4 triple3) -> rule3) triple3) -> rule2)) -> rule1))]
("Alan" "is" "cold" "-")
((triple3 ((((triple4 triple3) -> (rule3 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "nice" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "nice" "+")
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "cold" "-")
Harry is round.
Unknown
rconc
[@2: Harry is round.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Harry" "is" "round" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Alan is blue.[(triple4)] Alan is green.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Bob is big.[(triple6)] Bob is round.[(triple5)] Dave is big.[(triple9)] Dave is green.[(triple8)] Dave is nice.[(triple7)] Harry is green.[(triple11)] Harry is kind.[(triple10)] @1: Alan is nice.[(((triple4 triple3) -> rule3))] Dave is round.[(((triple7 triple8) -> rule2))] @2: Alan is round.[(((((triple4 triple3) -> rule3) triple3) -> rule2))] Dave is cold.[(((triple8 ((triple7 triple8) -> rule2)) -> rule1))] @3: Alan is cold.[(((triple3 ((((triple4 triple3) -> rule3) triple3) -> rule2)) -> rule1))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple6
Bob is round.
("Bob" "is" "round" "+")
triple5
Dave is big.
("Dave" "is" "big" "+")
triple9
Dave is green.
("Dave" "is" "green" "+")
triple8
Dave is nice.
("Dave" "is" "nice" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Alan is nice.
("Alan" "is" "nice" "+")
((triple4 triple3) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple7 triple8) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
((((triple4 triple3) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
((triple8 ((triple7 triple8) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
((triple3 ((((triple4 triple3) -> (rule3 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is young and green, so although he is rough and blue with sadness, he'll grow out of it.
That man standing next to you with a big round body goes by the name of Bob.
Dave is a big gentleman who is very nice; He is secretly green with envy.
Upon meeting Harry, you'll notice he's green and kind.
Someone who is round in shape and green in color is usually cold.
A person who is nice and green with envy is round.
People who are blue and green are nice.
A red, round male or female will also be a nice male or female.