Young Alan is quite nice, and because he is so round can be considered quite big. Bob gets red when he is mad and tends to act very cold. Eric fits the description of someone who is rough, red and blue. Harry ate some rotten meat and now feels green. If a person is blue, rough, and green, then they are also big. Cold, red people are generally kind and big. Big, rough people sometimes are also green and when they are they must be cold. It's been proven that red, rough people are green as well. A quite nice person will certainly be red. People who are described as young, green, and big are often considered rough.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is blue and rough and green then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
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 rough and big and green then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and rough then they are green.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is nice then they are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is big and green and young then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Eric is rough.
True
1
proof
[(triple7)]
("Eric" "is" "rough" "+")
triple7
Eric is not rough.
False
1
inv-proof
[(triple7)]
("Eric" "is" "rough" "-")
triple7
Alan is red.
True
2
proof
[(((triple3) -> rule5))]
("Alan" "is" "red" "+")
((triple3) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is not red.
False
2
inv-proof
[(((triple3) -> rule5))]
("Alan" "is" "red" "-")
((triple3) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Eric is big.
True
6
proof
[(((triple9 triple7 ((triple8 triple7) -> rule4)) -> rule1))]
("Eric" "is" "big" "+")
((triple9 triple7 ((triple8 triple7) -> (rule4 % int2))) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is not big.
False
6
inv-proof
[(((triple9 triple7 ((triple8 triple7) -> rule4)) -> rule1))]
("Eric" "is" "big" "-")
((triple9 triple7 ((triple8 triple7) -> (rule4 % int2))) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is cold.
True
11
proof
[(((triple7 ((triple9 triple7 ((triple8 triple7) -> rule4)) -> rule1) ((triple8 triple7) -> rule4)) -> rule3))]
("Eric" "is" "cold" "+")
((triple7 ((triple9 triple7 ((triple8 triple7) -> (rule4 % int3))) -> (rule1 % int2)) ((triple8 triple7) -> (rule4 % int3))) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is not cold.
False
11
inv-proof
[(((triple7 ((triple9 triple7 ((triple8 triple7) -> rule4)) -> rule1) ((triple8 triple7) -> rule4)) -> rule3))]
("Eric" "is" "cold" "-")
((triple7 ((triple9 triple7 ((triple8 triple7) -> (rule4 % int3))) -> (rule1 % int2)) ((triple8 triple7) -> (rule4 % int3))) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "big" "-")
Bob is rough.
Unknown
rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "rough" "+")
Bob is not green.
Unknown
inv-rconc
[@2: Bob is green.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Bob" "is" "green" "-")
Harry is cold.
Unknown
rconc
[@2: Harry is cold.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Harry" "is" "cold" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Alan is kind.
Unknown
random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Alan is big.[(triple4)] Alan is nice.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Bob is cold.[(triple6)] Bob is red.[(triple5)] Eric is blue.[(triple9)] Eric is red.[(triple8)] Eric is rough.[(triple7)] Harry is green.[(triple10)] @1: Alan is red.[(((triple3) -> rule5))] Eric is green.[(((triple8 triple7) -> rule4))] @2: Eric is big.[(((triple9 triple7 ((triple8 triple7) -> rule4)) -> rule1))] @3: Eric is cold.[(((triple7 ((triple9 triple7 ((triple8 triple7) -> rule4)) -> rule1) ((triple8 triple7) -> rule4)) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple6
Bob is red.
("Bob" "is" "red" "+")
triple5
Eric is blue.
("Eric" "is" "blue" "+")
triple9
Eric is red.
("Eric" "is" "red" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple10
Alan is red.
("Alan" "is" "red" "+")
((triple3) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
((triple8 triple7) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
((triple9 triple7 ((triple8 triple7) -> (rule4 % int2))) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
((triple7 ((triple9 triple7 ((triple8 triple7) -> (rule4 % int3))) -> (rule1 % int2)) ((triple8 triple7) -> (rule4 % int3))) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Young Alan is quite nice, and because he is so round can be considered quite big.
Bob gets red when he is mad and tends to act very cold.
Eric fits the description of someone who is rough, red and blue.
Harry ate some rotten meat and now feels green.
If a person is blue, rough, and green, then they are also big.
Cold, red people are generally kind and big.
Big, rough people sometimes are also green and when they are they must be cold.
It's been proven that red, rough people are green as well.
A quite nice person will certainly be red.
People who are described as young, green, and big are often considered rough.