Due to the fact that Bob is young, he is red and green. He remains kind nevertheless. Even though he's young and green, Fred is rough. Harry plays rough and gets red in his round face,yet people know he is young and often blue. Their actions reflected how young and kind but green they were making things seem blue. All people that are rough and cold, as well as nice will be kind if you talk to them. A person who is described as round and rough is usually kind. Young,round people tend to be rough and big. Round, young folks tend to feel blue. A person who is kind but also rough and is also colored blue, will be shaped round. People who are rough are often rather kind as well.
Bob is young.
("Bob" "is" "young" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is green.
("Fred" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is young and kind and green then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and rough and cold then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and rough then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and young and round then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is round and young then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and rough and blue then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is rough then they are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Fred is green.
True
1
proof
[(triple7)]
("Fred" "is" "green" "+")
triple7
Harry is not round.
False
1
inv-proof
[(triple9 OR ((((triple10) -> rule7) triple10 triple12) -> rule6))]
("Harry" "is" "round" "-")
triple9
((((triple10) -> (rule7 % int2)) triple10 triple12) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Bob is blue.
True
4
proof
[(((triple1 triple3 triple4) -> rule1))]
("Bob" "is" "blue" "+")
((triple1 triple3 triple4) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Harry is not kind.
False
2
inv-proof
[(((triple10) -> rule7) OR ((triple9 triple10) -> rule3))]
("Harry" "is" "kind" "-")
((triple10) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple9 triple10) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Fred is blue.
True
5
proof
[(((triple5 ((triple6) -> rule7) triple7) -> rule1))]
("Fred" "is" "blue" "+")
((triple5 ((triple6) -> (rule7 % int2)) triple7) -> (rule1 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is not blue.
False
5
inv-proof
[(((triple5 ((triple6) -> rule7) triple7) -> rule1))]
("Fred" "is" "blue" "-")
((triple5 ((triple6) -> (rule7 % int2)) triple7) -> (rule1 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is round.
True
9
proof
[(((((triple6) -> rule7) triple6 ((triple5 ((triple6) -> rule7) triple7) -> rule1)) -> rule6))]
("Fred" "is" "round" "+")
((((triple6) -> (rule7 % int3)) triple6 ((triple5 ((triple6) -> (rule7 % int3)) triple7) -> (rule1 % int2))) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is not round.
False
9
inv-proof
[(((((triple6) -> rule7) triple6 ((triple5 ((triple6) -> rule7) triple7) -> rule1)) -> rule6))]
("Fred" "is" "round" "-")
((((triple6) -> (rule7 % int3)) triple6 ((triple5 ((triple6) -> (rule7 % int3)) triple7) -> (rule1 % int2))) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is big.
True
12
proof
[(((triple6 triple5 ((((triple6) -> rule7) triple6 ((triple5 ((triple6) -> rule7) triple7) -> rule1)) -> rule6)) -> rule4))]
("Fred" "is" "big" "+")
((triple6 triple5 ((((triple6) -> (rule7 % int4)) triple6 ((triple5 ((triple6) -> (rule7 % int4)) triple7) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
int4
Fred is not big.
False
12
inv-proof
[(((triple6 triple5 ((((triple6) -> rule7) triple6 ((triple5 ((triple6) -> rule7) triple7) -> rule1)) -> rule6)) -> rule4))]
("Fred" "is" "big" "-")
((triple6 triple5 ((((triple6) -> (rule7 % int4)) triple6 ((triple5 ((triple6) -> (rule7 % int4)) triple7) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
int4
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "kind" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "blue" "+")
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "big" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "round" "+")
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "big" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Fred is not nice.
Unknown
inv-random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Bob is green.[(triple4)] Bob is kind.[(triple3)] Bob is red.[(triple2)] Bob is young.[(triple1)] Fred is green.[(triple7)] Fred is rough.[(triple6)] Fred is young.[(triple5)] Harry is blue.[(triple12 OR ((triple9 triple8) -> rule5))] Harry is red.[(triple11)] Harry is rough.[(triple10)] Harry is round.[(triple9 OR ((((triple10) -> rule7) triple10 triple12) -> rule6))] Harry is young.[(triple8)] @1: Bob is blue.[(((triple1 triple3 triple4) -> rule1))] Fred is kind.[(((triple6) -> rule7))] Harry is big.[(((triple10 triple8 triple9) -> rule4) OR ((triple10 triple8 ((((triple10) -> rule7) triple10 triple12) -> rule6)) -> rule4))] Harry is kind.[(((triple10) -> rule7) OR ((triple9 triple10) -> rule3))] @2: Fred is blue.[(((triple5 ((triple6) -> rule7) triple7) -> rule1))] @3: Fred is round.[(((((triple6) -> rule7) triple6 ((triple5 ((triple6) -> rule7) triple7) -> rule1)) -> rule6))] @4: Fred is big.[(((triple6 triple5 ((((triple6) -> rule7) triple6 ((triple5 ((triple6) -> rule7) triple7) -> rule1)) -> rule6)) -> rule4))]
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Fred is green.
("Fred" "is" "green" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple12
((triple9 triple8) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple9
((((triple10) -> (rule7 % int2)) triple10 triple12) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
triple8
Bob is blue.
("Bob" "is" "blue" "+")
((triple1 triple3 triple4) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
((triple6) -> (rule7 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple10 triple8 triple9) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((triple10 triple8 ((((triple10) -> (rule7 % int3)) triple10 triple12) -> (rule6 % int2))) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
((triple10) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple9 triple10) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple5 ((triple6) -> (rule7 % int2)) triple7) -> (rule1 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
((((triple6) -> (rule7 % int3)) triple6 ((triple5 ((triple6) -> (rule7 % int3)) triple7) -> (rule1 % int2))) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
((triple6 triple5 ((((triple6) -> (rule7 % int4)) triple6 ((triple5 ((triple6) -> (rule7 % int4)) triple7) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
int4
Due to the fact that Bob is young, he is red and green; He remains kind nevertheless.
Even though he's young and green, Fred is rough.
Harry plays rough and gets red in his round face,yet people know he is young and often blue.
Their actions reflected how young and kind but green they were making things seem blue.
All people that are rough and cold, as well as nice will be kind if you talk to them.
A person who is described as round and rough is usually kind.
Young,round people tend to be rough and big.
Round, young folks tend to feel blue.
A person who is kind but also rough and is also colored blue, will be shaped round.
People who are rough are often rather kind as well.