Bob always goes out of his way to show that he is kind to people. Known as big round Charlie, he is kind and nice and dresses all green and blue. Harry is so big, he is often blue, but always kind. A big person who looks blue is also going to look young. If a red and blue person is also kind to people that means they are rough as well. Red, young people are for the most part round too. Young, kind people have a habit of being nice. Nice people who are big are always cold because they can't find space near the heater. A cold person, who is kind in nature and young in years, is round. A person that is the color red will definitely be round shaped.
Bob is kind.
("Bob" "is" "kind" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is blue and big then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is red and blue and kind then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("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 kind and young then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and nice then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and kind and young then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is red then they are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Charlie is green.
True
1
proof
[(triple5)]
("Charlie" "is" "green" "+")
triple5
Charlie is not blue.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "blue" "-")
triple6
Harry is young.
True
3
proof
[(((triple9 triple10) -> rule1))]
("Harry" "is" "young" "+")
((triple9 triple10) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is not young.
False
3
inv-proof
[(((triple9 triple10) -> rule1))]
("Harry" "is" "young" "-")
((triple9 triple10) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
True
5
proof
[(((triple8 ((triple9 triple10) -> rule1)) -> rule4))]
("Harry" "is" "nice" "+")
((triple8 ((triple9 triple10) -> (rule1 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is not nice.
False
5
inv-proof
[(((triple8 ((triple9 triple10) -> rule1)) -> rule4))]
("Harry" "is" "nice" "-")
((triple8 ((triple9 triple10) -> (rule1 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is cold.
True
7
proof
[(((triple10 ((triple8 ((triple9 triple10) -> rule1)) -> rule4)) -> rule5))]
("Harry" "is" "cold" "+")
((triple10 ((triple8 ((triple9 triple10) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is not cold.
False
7
inv-proof
[(((triple10 ((triple8 ((triple9 triple10) -> rule1)) -> rule4)) -> rule5))]
("Harry" "is" "cold" "-")
((triple10 ((triple8 ((triple9 triple10) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is round.
True
12
proof
[(((((triple10 ((triple8 ((triple9 triple10) -> rule1)) -> rule4)) -> rule5) triple8 ((triple9 triple10) -> rule1)) -> rule6))]
("Harry" "is" "round" "+")
((((triple10 ((triple8 ((triple9 triple10) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple8 ((triple9 triple10) -> (rule1 % int4))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is not round.
False
12
inv-proof
[(((((triple10 ((triple8 ((triple9 triple10) -> rule1)) -> rule4)) -> rule5) triple8 ((triple9 triple10) -> rule1)) -> rule6))]
("Harry" "is" "round" "-")
((((triple10 ((triple8 ((triple9 triple10) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple8 ((triple9 triple10) -> (rule1 % int4))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "rough" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "young" "+")
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "rough" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "nice" "+")
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "rough" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Bob is kind.[(triple1)] Charlie is big.[(triple7)] Charlie is blue.[(triple6)] Charlie is green.[(triple5)] Charlie is kind.[(triple4)] Charlie is nice.[(triple3 OR ((triple4 ((triple6 triple7) -> rule1)) -> rule4))] Charlie is round.[(triple2 OR ((((triple7 triple3) -> rule5) triple4 ((triple6 triple7) -> rule1)) -> rule6) OR ((((triple7 ((triple4 ((triple6 triple7) -> rule1)) -> rule4)) -> rule5) triple4 ((triple6 triple7) -> rule1)) -> rule6))] Harry is big.[(triple10)] Harry is blue.[(triple9)] Harry is kind.[(triple8)] @1: Charlie is cold.[(((triple7 triple3) -> rule5) OR ((triple7 ((triple4 ((triple6 triple7) -> rule1)) -> rule4)) -> rule5))] Charlie is young.[(((triple6 triple7) -> rule1))] Harry is young.[(((triple9 triple10) -> rule1))] @2: Harry is nice.[(((triple8 ((triple9 triple10) -> rule1)) -> rule4))] @3: Harry is cold.[(((triple10 ((triple8 ((triple9 triple10) -> rule1)) -> rule4)) -> rule5))] @4: Harry is round.[(((((triple10 ((triple8 ((triple9 triple10) -> rule1)) -> rule4)) -> rule5) triple8 ((triple9 triple10) -> rule1)) -> rule6))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
((triple4 ((triple6 triple7) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
triple2
((((triple7 triple3) -> (rule5 % int3)) triple4 ((triple6 triple7) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((triple7 ((triple4 ((triple6 triple7) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple4 ((triple6 triple7) -> (rule1 % int4))) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple7 triple3) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((triple7 ((triple4 ((triple6 triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
((triple6 triple7) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple9 triple10) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple8 ((triple9 triple10) -> (rule1 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((triple10 ((triple8 ((triple9 triple10) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
((((triple10 ((triple8 ((triple9 triple10) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple8 ((triple9 triple10) -> (rule1 % int4))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Bob always goes out of his way to show that he is kind to people.
Known as big round Charlie, he is kind and nice and dresses all green and blue.
Harry is so big, he is often blue, but always kind.
A big person who looks blue is also going to look young.
If a red and blue person is also kind to people that means they are rough as well.
Red, young people are for the most part round too.
Young, kind people have a habit of being nice.
Nice people who are big are always cold because they can't find space near the heater.
A cold person, who is kind in nature and young in years, is round.
A person that is the color red will definitely be round shaped.