Although Bob is seen as nice and round, his days of playing football have made him quite rough. They always call him rough Charlie. That guy Fred is big, but he's always kind to little ones. Harry felt young and rough. He made himself red, green, and blue. Big and round people can't help but be cold all of the time. Blue and red people are often rough. A green, round, blue male or female will be a big male or female, too. Green people will be nice even when they have been rough. Red, young people are for the most part round too. A round person will also be red.
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is big and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and round and blue then they are big.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is green and nice then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and young then they are round.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is round then they are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Harry is red.
True
1
proof
[(triple9)]
("Harry" "is" "red" "+")
triple9
Bob is not rough.
False
1
inv-proof
[(triple2)]
("Bob" "is" "rough" "-")
triple2
Bob is red.
True
2
proof
[(((triple1) -> rule6))]
("Bob" "is" "red" "+")
((triple1) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not red.
False
2
inv-proof
[(((triple1) -> rule6))]
("Bob" "is" "red" "-")
((triple1) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Harry is big.
True
6
proof
[(((triple10 ((triple9 triple7) -> rule5) triple11) -> rule3))]
("Harry" "is" "big" "+")
((triple10 ((triple9 triple7) -> (rule5 % int2)) triple11) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is not big.
False
6
inv-proof
[(((triple10 ((triple9 triple7) -> rule5) triple11) -> rule3))]
("Harry" "is" "big" "-")
((triple10 ((triple9 triple7) -> (rule5 % int2)) triple11) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is cold.
True
10
proof
[(((((triple10 ((triple9 triple7) -> rule5) triple11) -> rule3) ((triple9 triple7) -> rule5)) -> rule1))]
("Harry" "is" "cold" "+")
((((triple10 ((triple9 triple7) -> (rule5 % int3)) triple11) -> (rule3 % int2)) ((triple9 triple7) -> (rule5 % int3))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is not cold.
False
10
inv-proof
[(((((triple10 ((triple9 triple7) -> rule5) triple11) -> rule3) ((triple9 triple7) -> rule5)) -> rule1))]
("Harry" "is" "cold" "-")
((((triple10 ((triple9 triple7) -> (rule5 % int3)) triple11) -> (rule3 % int2)) ((triple9 triple7) -> (rule5 % int3))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "round" "-")
Bob is cold.
Unknown
rconc
[@2: Bob is cold.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Bob" "is" "cold" "+")
Fred is not cold.
Unknown
inv-rconc
[@2: Fred is cold.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Fred" "is" "cold" "-")
Charlie is cold.
Unknown
rconc
[@2: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Charlie" "is" "cold" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Fred is not young.
Unknown
inv-random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is nice.[(triple3)] Bob is rough.[(triple2)] Bob is round.[(triple1)] Charlie is rough.[(triple4)] Fred is big.[(triple6)] Fred is kind.[(triple5)] Harry is blue.[(triple11)] Harry is green.[(triple10)] Harry is red.[(triple9)] Harry is rough.[(triple8 OR ((triple11 triple9) -> rule2))] Harry is young.[(triple7)] @1: Bob is red.[(((triple1) -> rule6))] Harry is round.[(((triple9 triple7) -> rule5))] @2: Harry is big.[(((triple10 ((triple9 triple7) -> rule5) triple11) -> rule3))] @3: Harry is cold.[(((((triple10 ((triple9 triple7) -> rule5) triple11) -> rule3) ((triple9 triple7) -> rule5)) -> rule1))]
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Fred is big.
("Fred" "is" "big" "+")
triple6
Fred is kind.
("Fred" "is" "kind" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
((triple11 triple9) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
triple7
Bob is red.
("Bob" "is" "red" "+")
((triple1) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple9 triple7) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple10 ((triple9 triple7) -> (rule5 % int2)) triple11) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((((triple10 ((triple9 triple7) -> (rule5 % int3)) triple11) -> (rule3 % int2)) ((triple9 triple7) -> (rule5 % int3))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Although Bob is seen as nice and round, his days of playing football have made him quite rough.
They always call him rough Charlie.
That guy Fred is big, but he's always kind to little ones.
Harry felt young and rough; He made himself red, green, and blue.
Big and round people can't help but be cold all of the time.
Blue and red people are often rough.
A green, round, blue male or female will be a big male or female, too.
Green people will be nice even when they have been rough.
Red, young people are for the most part round too.
A round person will also be red.