Young Bob is quite nice, and because he is so round can be considered quite big. Charlie is a person both green and big. Eric gets red when he is mad and tends to act very cold. Harry was born only a few years ago so he is young. It's a fact that young people are red people. A blue colored, nice but rough person is definitely young too. If someone is colored red but is cold, they tend to show a lot of green. A person who exhibits nice, kind and cold characteristics will also be a rough person. Whenever somebody can be described as rough, round and cold, they can also be described as young. Red and round people will be cold even in the summer. Blue, kind, and cold people are habitually rough.
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and blue and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is red and cold then they are green.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and nice and cold then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and rough and round then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is red and round then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and kind and cold then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
Bob is nice.
True
1
proof
[(triple3)]
("Bob" "is" "nice" "+")
triple3
Bob is not big.
False
1
inv-proof
[(triple4)]
("Bob" "is" "big" "-")
triple4
Bob is red.
True
2
proof
[(((triple1) -> rule1))]
("Bob" "is" "red" "+")
((triple1) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Harry is not red.
False
2
inv-proof
[(((triple9) -> rule1))]
("Harry" "is" "red" "-")
((triple9) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Bob is cold.
True
4
proof
[(((((triple1) -> rule1) triple2) -> rule6))]
("Bob" "is" "cold" "+")
((((triple1) -> (rule1 % int2)) triple2) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is not cold.
False
4
inv-proof
[(((((triple1) -> rule1) triple2) -> rule6))]
("Bob" "is" "cold" "-")
((((triple1) -> (rule1 % int2)) triple2) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
True
7
proof
[(((((triple1) -> rule1) ((((triple1) -> rule1) triple2) -> rule6)) -> rule3))]
("Bob" "is" "green" "+")
((((triple1) -> (rule1 % int3)) ((((triple1) -> (rule1 % int3)) triple2) -> (rule6 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is not green.
False
7
inv-proof
[(((((triple1) -> rule1) ((((triple1) -> rule1) triple2) -> rule6)) -> rule3))]
("Bob" "is" "green" "-")
((((triple1) -> (rule1 % int3)) ((((triple1) -> (rule1 % int3)) triple2) -> (rule6 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is red.
Unknown
rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Charlie" "is" "red" "+")
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "rough" "-")
Harry is green.
Unknown
rconc
[@2: Harry is green.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Harry" "is" "green" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
@0: Bob is big.[(triple4)] Bob is nice.[(triple3)] Bob is round.[(triple2)] Bob is young.[(triple1)] Charlie is big.[(triple6)] Charlie is green.[(triple5)] Eric is cold.[(triple8)] Eric is red.[(triple7)] Harry is young.[(triple9)] @1: Bob is red.[(((triple1) -> rule1))] Eric is green.[(((triple7 triple8) -> rule3))] Harry is red.[(((triple9) -> rule1))] @2: Bob is cold.[(((((triple1) -> rule1) triple2) -> rule6))] @3: Bob is green.[(((((triple1) -> rule1) ((((triple1) -> rule1) triple2) -> rule6)) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Eric is cold.
("Eric" "is" "cold" "+")
triple8
Eric is red.
("Eric" "is" "red" "+")
triple7
Harry is young.
("Harry" "is" "young" "+")
triple9
Bob is red.
("Bob" "is" "red" "+")
((triple1) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
((triple7 triple8) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple9) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((((triple1) -> (rule1 % int2)) triple2) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((((triple1) -> (rule1 % int3)) ((((triple1) -> (rule1 % int3)) triple2) -> (rule6 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Young Bob is quite nice, and because he is so round can be considered quite big.
Charlie is a person both green and big.
Eric gets red when he is mad and tends to act very cold.
Harry was born only a few years ago so he is young.
It's a fact that young people are red people.
A blue colored, nice but rough person is definitely young too.
If someone is colored red but is cold, they tend to show a lot of green.
A person who exhibits nice, kind and cold characteristics will also be a rough person.
Whenever somebody can be described as rough, round and cold, they can also be described as young.
Red and round people will be cold even in the summer.
Blue, kind, and cold people are habitually rough.