They always call him rough Bob. Charlie is known to be rough and green. Green eyed Eric is kind and nice. Since he is also big and round with rough skin he often turns red in the sun. In the snow sits Gary, crying from being cold. Young people with red skin who are a bit downhearted and blue are kind. Big and cold people tend to see red and dont live green lifestyle. Round people who feel rough also always feel cold,. When you meet someone that's rough, kind and nice you'll see they are green as well. Find someone big, blue, and kind, and you'll see they are also quite young. A rather round and green person will be red. Someone who tends to be icy cold and rough but secretly nice are generally very blue.
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is young and blue and red then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and big and cold then they are green.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is round and rough then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and kind and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is big and blue and kind then they are young.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is round and green then they are red.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and rough and nice then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
Eric is green.
True
1
proof
[(triple9 OR ((triple5 triple8 triple7) -> rule4) OR ((triple6 triple10 ((triple4 triple5) -> rule3)) -> rule2))]
("Eric" "is" "green" "+")
triple9
((triple5 triple8 triple7) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
((triple6 triple10 ((triple4 triple5) -> (rule3 % int2))) -> (rule2 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is not nice.
False
1
inv-proof
[(triple7)]
("Eric" "is" "nice" "-")
triple7
Eric is cold.
True
3
proof
[(((triple4 triple5) -> rule3))]
("Eric" "is" "cold" "+")
((triple4 triple5) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is not cold.
False
3
inv-proof
[(((triple4 triple5) -> rule3))]
("Eric" "is" "cold" "-")
((triple4 triple5) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is blue.
True
6
proof
[(((((triple4 triple5) -> rule3) triple5 triple7) -> rule7))]
("Eric" "is" "blue" "+")
((((triple4 triple5) -> (rule3 % int2)) triple5 triple7) -> (rule7 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is not blue.
False
6
inv-proof
[(((((triple4 triple5) -> rule3) triple5 triple7) -> rule7))]
("Eric" "is" "blue" "-")
((((triple4 triple5) -> (rule3 % int2)) triple5 triple7) -> (rule7 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is young.
True
9
proof
[(((triple10 ((((triple4 triple5) -> rule3) triple5 triple7) -> rule7) triple8) -> rule5))]
("Eric" "is" "young" "+")
((triple10 ((((triple4 triple5) -> (rule3 % int3)) triple5 triple7) -> (rule7 % int2)) triple8) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is not young.
False
9
inv-proof
[(((triple10 ((((triple4 triple5) -> rule3) triple5 triple7) -> rule7) triple8) -> rule5))]
("Eric" "is" "young" "-")
((triple10 ((((triple4 triple5) -> (rule3 % int3)) triple5 triple7) -> (rule7 % int2)) triple8) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Charlie is not kind.
Unknown
inv-rconc
[@2: Charlie is kind.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Charlie" "is" "kind" "-")
Gary is red.
Unknown
rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "red" "+")
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "cold" "-")
Gary is kind.
Unknown
rconc
[@2: Gary is kind.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Gary" "is" "kind" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Bob is rough.[(triple1)] Charlie is green.[(triple3)] Charlie is rough.[(triple2)] Eric is big.[(triple10)] Eric is green.[(triple9 OR ((triple5 triple8 triple7) -> rule4) OR ((triple6 triple10 ((triple4 triple5) -> rule3)) -> rule2))] Eric is kind.[(triple8)] Eric is nice.[(triple7)] Eric is red.[(triple6 OR ((triple4 triple9) -> rule6) OR ((triple4 ((triple5 triple8 triple7) -> rule4)) -> rule6))] Eric is rough.[(triple5)] Eric is round.[(triple4)] Gary is cold.[(triple11)] @1: Eric is cold.[(((triple4 triple5) -> rule3))] @2: Eric is blue.[(((((triple4 triple5) -> rule3) triple5 triple7) -> rule7))] @3: Eric is young.[(((triple10 ((((triple4 triple5) -> rule3) triple5 triple7) -> rule7) triple8) -> rule5))]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Eric is big.
("Eric" "is" "big" "+")
triple10
Eric is green.
("Eric" "is" "green" "+")
triple9
((triple5 triple8 triple7) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
((triple6 triple10 ((triple4 triple5) -> (rule3 % int2))) -> (rule2 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
triple8
Eric is nice.
("Eric" "is" "nice" "+")
triple7
Eric is red.
("Eric" "is" "red" "+")
triple6
((triple4 triple9) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
((triple4 ((triple5 triple8 triple7) -> (rule4 % int2))) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Eric is cold.
("Eric" "is" "cold" "+")
((triple4 triple5) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((((triple4 triple5) -> (rule3 % int2)) triple5 triple7) -> (rule7 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
((triple10 ((((triple4 triple5) -> (rule3 % int3)) triple5 triple7) -> (rule7 % int2)) triple8) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
They always call him rough Bob.
Charlie is known to be rough and green.
Green eyed Eric is kind and nice; Since he is also big and round with rough skin he often turns red in the sun.
In the snow sits Gary, crying from being cold.
Young people with red skin who are a bit downhearted and blue are kind.
Big and cold people tend to see red and dont live green lifestyle.
Round people who feel rough also always feel cold,.
When you meet someone that's rough, kind and nice you'll see they are green as well.
Find someone big, blue, and kind, and you'll see they are also quite young.
A rather round and green person will be red.
Someone who tends to be icy cold and rough but secretly nice are generally very blue.